scientific article; zbMATH DE number 3926231
From MaRDI portal
Publication:3700824
Recommendations
Cited in
(25)- Higher-level synchronising devices in Meije-SCCS
- Algebraic calculi of processes and net expressions
- Bisimulation and effectiveness
- Concurrency and atomicity
- The chemical abstract machine
- Structured operational semantics and bisimulation as a congruence
- An algebraic characterization of observational equivalence
- Ensuring liveness properties of distributed systems: open problems
- Expressiveness of concurrent intensionality
- On constructibility and unconstructibility of LTS operators from other LTS operators
- Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
- scientific article; zbMATH DE number 4143960 (Why is no real title available?)
- A process calculus with finitary comprehended terms
- Reactive Turing machines
- Turing machines, transition systems, and interaction
- Verification and comparison of transition systems
- Special issue: Algebraic process calculi: the first twenty five years and beyond. Selected papers based on the presentations at the workshop, Bertinoro, Italy, August 1--5, 2005
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Decidability results in automata and process theory
- Trapping mutual exclusion in the box calculus
- A CCS-based investigation of deadlock in a multi-process electronic mail system
- Turing machines, transition systems, and interaction
- On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
- On guarded recursion
- Special issue: Algebraic process calculi: The first twenty five year and beyond III.
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 Q3700824)
