Operational semantics for coordination in Paradigm

L.P.J. Groenewegen, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

Samenvatting

Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoningab out system dynamics and system comparison.
Originele taal-2Engels
TitelCoordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002)
RedacteurenF. Arbab, C. Talcott
Plaats van productieBerlin
UitgeverijSpringer
Pagina's191-206
ISBN van geprinte versie3-540-43410-0
DOI's
StatusGepubliceerd - 2002
Evenementconference; York, UK; 2002-04-08; 2002-04-11 -
Duur: 8 apr 200211 apr 2002

Publicatie series

NaamLecture Notes in Computer Science
Volume2315
ISSN van geprinte versie0302-9743

Congres

Congresconference; York, UK; 2002-04-08; 2002-04-11
Periode8/04/0211/04/02
AnderYork, UK

Vingerafdruk Duik in de onderzoeksthema's van 'Operational semantics for coordination in Paradigm'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groenewegen, L. P. J., & Vink, de, E. P. (2002). Operational semantics for coordination in Paradigm. In F. Arbab, & C. Talcott (editors), Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002) (blz. 191-206). (Lecture Notes in Computer Science; Vol. 2315). Springer. https://doi.org/10.1007/3-540-46000-4_20