LANGUAGES FOR REACTIVE SPECIFICATIONS: SYNCHRONY VS ASYNCHRONY

DOI10.1142/S012905410000017XzbMATH Open1319.68143OpenAlexW1973245130MaRDI QIDQ5249041

Author name not available (Why is that?)

Publication date: 29 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s012905410000017x

zbMATH Keywords

synchronyprocess algebraCSPreactive systemsEsterelsynchronous languagesasynchrony

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS

This page was built for publication: LANGUAGES FOR REACTIVE SPECIFICATIONS: SYNCHRONY VS ASYNCHRONY

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