Process algebra with propositional signals
From MaRDI portal
Publication:1391792
DOI10.1016/S0304-3975(96)00253-8zbMath0901.68117OpenAlexW2133442509MaRDI QIDQ1391792
Jos C. M. Baeten, Jan A. Bergstra
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00253-8
Related Items
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics ⋮ Continuity controlled hybrid automata ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Kleene's three-valued logic and process algebra ⋮ Duplication of constants in process algebra ⋮ Preferential choice and coordination conditions ⋮ Process algebra with propositional signals ⋮ Structural operational semantics through context-dependent behaviour ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ A ground-complete axiomatisation of finite-state processes in a generic process algebra ⋮ Using Hoare Logic in a Process Algebra Setting ⋮ Hybrid process algebra ⋮ SOS rule formats for zero and unit elements ⋮ Fixing Zeno gaps ⋮ A semantics for behavior trees using CSP with specification commands ⋮ Real time process algebra with time-dependent conditions ⋮ Splitting bisimulations and retrospective conditions ⋮ Process algebra for hybrid systems ⋮ An algebra of hybrid systems ⋮ A Generic Process Algebra
Cites Work
- Algèbre de processus et synchronisation
- A complete inference system for a class of regular behaviours
- Global renaming operators in concrete process algebra
- Process algebra with guards: Combining hoare logic with process algebra
- The algebra of timed processes, ATP: Theory and application
- Process algebra with propositional signals
- Process algebra for synchronous communication
- A Theory of Communicating Sequential Processes
- Process Algebra
- Branching time and abstraction in bisimulation semantics
- Unnamed Item
- Unnamed Item
- Unnamed Item
