المؤلفون: Groote, J. F., Laveaux, M., van Spaendonck, P. H. M.

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2111.02706

المؤلفون: Hojjat, H., Sirjani, M., Mousavi, M. R., Groote, J. F.

المصدر: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on. :216-222 Jul, 2007

Relation: 2007 Seventh International Conference on Application of Concurrency to System Design

المؤلفون: Gao, H.^Aff21, Groote, J. F.^Aff22, Hesselink, W. H.^Aff21

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Pan, Yi, editor^Aff16, Chen, Daoxu, editor^Aff17, Guo, Minyi, editor^Aff18, Cao, Jiannong, editor^Aff19, Dongarra, Jack, editor^Aff20

المصدر: Parallel and Distributed Processing and Applications : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings. 3758:263-274

المؤلفون: Ciancia V., Groote J. F., Latella D., Massink M., De Vink E. P.

المصدر: ISTI Technical Report, ISTI-2022-TR/027, 2022

مصطلحات موضوعية: Spatial logics, Spatial bisimilarity, Spatial model checking, Spatial minimisation, Branching bisimilarity, Closure spaces

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::8cd5b851ceef9578f0842f0333ed543b
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9

المؤلفون: Groote, J. F.^Aff1, Sellink, M. P. A.^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Lee, Insup, editor, Smolka, Scott A., editor

المصدر: CONCUR '95: Concurrency Theory : 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings. 962:204-218

المؤلفون: Gao, H., Groote, J. F., Hesselink, W. H.

المصدر: Distributed Computing. 07 2005 18(1):21-42

المؤلفون: Mousavi, Mohammad Reza, Reniers, M. A., Groote, J. F.

المصدر: Theoretical Computer Science. 373:238-272

مصطلحات موضوعية: Formal semantics, Framework, Rule formats, Structural operational semantics

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20490

المؤلفون: Mousavi, Mohammad Reza, Reniers, M. A., Groote, J. F.

المصدر: Information and Computation. 200:107-147

مصطلحات موضوعية: Formal semantics, Structural operational sematics, Bisimulation, Congruence, SOS formats

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20468

المؤلفون: Mousavi, Mohammad Reza, Reniers, M. A., Groote, J. F.

المصدر: Information Processing Letters. 93(5):217-223

مصطلحات موضوعية: Commutativity, Formal semantics, Standard SOS formats, Structural Operational Semantics (SOS)

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20469

المؤلفون: Wan Fokkink, Groote, J. F., Reniers, M. A.

المساهمون: Theoretical Computer Science

المصدر: Bulletin of the European Association for Theoretical Computer Science, 82, 109-125
Vrije Universiteit Amsterdam
Fokkink, W J, Groote, J F & Reniers, M A 2004, ' Process Algebra Needs Proof Methodology (Columns: Concurrency) ', Bulletin of the European Association for Theoretical Computer Science, vol. 82, pp. 109-125 .

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e70cb1a896cb92206a37be1286713dd
https://hdl.handle.net/1871.1/52d5711e-d03a-4279-a809-32ce19159b09