scientific article; zbMATH DE number 4016181
From MaRDI portal
Publication:3028334
Recommendations
Cited in
(58)- Metric semantics for concurrency
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
- An algebra for process creation
- A formal axiomatization for alphabet reasoning with parametrized processes
- A complete equational axiomatization for MPA with string iteration
- On functions preserving levels of approximation: A refined model construction for various lambda calculi
- From ATP to timed graphs and hybrid systems
- Linear time and branching time semantics for recursion with merge
- Formalizing process algebraic verifications in the calculus of constructions
- Process algebra with language matching
- Two finite specifications of a queue
- Strong bisimilarity of simple process algebras: Complexity lower bounds
- Linda-based applicative and imperative process algebras
- A brief history of process algebra
- Modular specification of process algebras
- Fixed points in free process algebras. I
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Real time process algebra
- Reactive bisimulation semantics for a process algebra with timeouts
- Process algebras for network communication
- The composability problem of the semantics of XYZ/BE-communicating processes
- A process algebra for interworkings.
- Process algebras as specification language (work in progress)
- Parallel processes with implicit computational capital
- Process algebra and model checking
- Modeling and analysis of communicating systems
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- scientific article; zbMATH DE number 4157900 (Why is no real title available?)
- Process Bisimulation Via a Graphical Encoding
- A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
- scientific article; zbMATH DE number 3963182 (Why is no real title available?)
- scientific article; zbMATH DE number 3990852 (Why is no real title available?)
- scientific article; zbMATH DE number 4011914 (Why is no real title available?)
- Fairness and regularity for SCCS processes
- Reactive Turing machines
- scientific article; zbMATH DE number 139606 (Why is no real title available?)
- A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces
- scientific article; zbMATH DE number 683363 (Why is no real title available?)
- scientific article; zbMATH DE number 1023022 (Why is no real title available?)
- scientific article; zbMATH DE number 1555176 (Why is no real title available?)
- Contradiction-Tolerant Process Algebra with Propositional Signals
- CSP for parallelising Brzozowski's DFA construction algorithm
- scientific article; zbMATH DE number 4119652 (Why is no real title available?)
- scientific article; zbMATH DE number 937812 (Why is no real title available?)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations
- Using Hoare logic in a process algebra setting
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
- SOS rule formats for zero and unit elements
- Unguardedness mostly means many solutions
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- scientific article; zbMATH DE number 5181778 (Why is no real title available?)
- Fixed point equations with parameters in the projective model
- Handbook of truly concurrent process algebra
- Structural operational semantics for weak bisimulations
- A process algebraic view of input/output automata
- Bisimulation for higher-order process calculi
- A refinement calculus for specifications in Hennessy-Milner logic with recursion
- Computing with actions and communications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028334)
