A term model for synchronous processes
From MaRDI portal
Publication:3969860
Cited in
(26)- A semantic theory for value-passing processes based on the late approach
- GSOS and finite labelled transition systems
- Axiomatizing recursion-free, regular monitors
- A fully abstract denotational model for observational precongruence
- Merging regular processes by means of fixed-point theory
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- Termination, deadlock and divergence
- Semantics for finite delay
- A characterization of finitary bisimulation
- Axiomatizing weak ready simulation semantics over BCCSP
- Calculi for synchrony and asynchrony
- Axiomatising finite delay operators
- CPO models for a class of GSOS languages
- The equational theory of prebisimilarity over basic CCS with divergence
- Testing equivalences for processes
- SOS rule formats for idempotent terms and idempotent unary operators
- Testing equivalence as a bisimulation equivalence
- Algebra of communicating processes with abstraction
- Lifting non-finite axiomatizability results to extensions of process algebras
- Axiomatizing weak simulation semantics over BCCSP
- A fully abstract denotational model for observational precongruence
- A context dependent equivalence between processes
- A domain equation for bisimulation
- A complete equational axiomatization for MPA with string iteration
- A fully abstract model for the \(\pi\)-calculus.
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)
