A term model for synchronous processes
From MaRDI portal
Publication:3969860
DOI10.1016/S0019-9958(81)90082-6zbMATH Open0503.68022MaRDI QIDQ3969860FDOQ3969860
Publication date: 1981
Published in: Information and Control (Search for Journal in Brave)
operational semanticscommunicating processesdenotational modelproof-systemsynchronous processesfull-abstractnessoperational pre-order
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cited In (26)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- A context dependent equivalence between processes
- A semantic theory for value-passing processes based on the late approach
- Lifting non-finite axiomatizability results to extensions of process algebras
- A fully abstract denotational model for observational precongruence
- The equational theory of prebisimilarity over basic CCS with divergence
- A fully abstract model for the \(\pi\)-calculus.
- Merging regular processes by means of fixed-point theory
- A complete equational axiomatization for MPA with string iteration
- A characterization of finitary bisimulation
- GSOS and finite labelled transition systems
- Calculi for synchrony and asynchrony
- Axiomatizing Weak Ready Simulation Semantics over BCCSP
- Algebra of communicating processes with abstraction
- Axiomatizing recursion-free, regular monitors
- Semantics for finite delay
- Testing equivalence as a bisimulation equivalence
- Axiomatising finite delay operators
- Testing equivalences for processes
- SOS rule formats for idempotent terms and idempotent unary operators
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Termination, deadlock and divergence
- A domain equation for bisimulation
- CPO models for a class of GSOS languages
- Axiomatizing weak simulation semantics over BCCSP
- A fully abstract denotational model for observational precongruence
This page was built for publication: A term model for synchronous processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3969860)
