scientific article
From MaRDI portal
Publication:3700824
zbMath0578.68025MaRDI QIDQ3700824
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsPetri netsconcurrencyCCSalgebraic calculi of processesMEIJE calculusprocess parallelismrational parallel place machine
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Higher-level synchronising devices in Meije-SCCS, Algebraic calculi of processes and net expressions, Verification and comparison of transition systems, An algebraic characterization of observational equivalence, Bisimulation and effectiveness, Concurrency and atomicity, Reactive Turing machines, Expressiveness of concurrent intensionality, Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism, Trapping mutual exclusion in the box calculus, The chemical abstract machine, Structured operational semantics and bisimulation as a congruence, A CCS-based investigation of deadlock in a multi-process electronic mail system, Turing Machines, Transition Systems, and Interaction, Turing machines, transition systems, and interaction, Ensuring liveness properties of distributed systems: open problems, Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols, On constructibility and unconstructibility of LTS operators from other LTS operators, On guarded recursion
