On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
From MaRDI portal
Publication:789888
DOI10.1016/0304-3975(84)90068-9zbMath0533.68015OpenAlexW2082077123MaRDI QIDQ789888
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Higher-level synchronising devices in Meije-SCCS, Algebraic calculi of processes and net expressions, Non-deterministic structures of computation
Cites Work
