-
1تقرير
المؤلفون: Groote, J. F., Laveaux, M., van Spaendonck, P. H. M.
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing
URL الوصول: http://arxiv.org/abs/2111.02706
-
2مؤتمر
المؤلفون: 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
-
3كتاب إلكتروني
المؤلفون: Gao, H.Aff21, Groote, J. F.Aff22, Hesselink, W. H.Aff21
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Pan, Yi, editorAff16, Chen, Daoxu, editorAff17, Guo, Minyi, editorAff18, Cao, Jiannong, editorAff19, Dongarra, Jack, editorAff20
المصدر: Parallel and Distributed Processing and Applications : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings. 3758:263-274
-
4
المؤلفون: 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 -
5كتاب إلكتروني
المؤلفون: 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
-
6دورية أكاديمية
المؤلفون: Gao, H., Groote, J. F., Hesselink, W. H.
المصدر: Distributed Computing. 07 2005 18(1):21-42
-
7
المؤلفون: Mousavi, Mohammad Reza, Reniers, M. A., Groote, J. F.
المصدر: Theoretical Computer Science. 373:238-272
مصطلحات موضوعية: Formal semantics, Framework, Rule formats, Structural operational semantics
وصف الملف: print
-
8
المؤلفون: 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
-
9
المؤلفون: 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
-
10
المؤلفون: 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