Formal definition of XCCS modelling language

MaRDI QIDQ5192920zbMATH OpenFDO

Authors Krzysztof Balicki, Marcin Szpyrka

Publication date 10 August 2009

zbMATH Keywords

basic conversion algorithmsynchronization relationXCCS process algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4035159
• scientific article; zbMATH DE number 30325
• A process algebra for interworkings.
• scientific article; zbMATH DE number 4018372
• scientific article; zbMATH DE number 3896316

This page was built for publication: Formal definition of XCCS modelling language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5192920)