On Meije and SCCS: Infinite sum operators vs. non-guarded definitions

DOI10.1016/0304-3975(84)90068-9zbMath0533.68015OpenAlexW2082077123MaRDI QIDQ789888

Robert de Simone

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90068-9

zbMATH Keywords

parallelismsynchronizationsemanticsprocess

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Higher-level synchronising devices in Meije-SCCS ⋮ Algebraic calculi of processes and net expressions ⋮ Non-deterministic structures of computation

Cites Work

• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony

This page was built for publication: On Meije and SCCS: Infinite sum operators vs. non-guarded definitions