Termination, deadlock, and divergence
From MaRDI portal
Publication:4302821
DOI10.1145/147508.147527zbMath0799.68131OpenAlexW2078105844MaRDI QIDQ4302821
Luca Aceto, Matthew C. B. Hennessy
Publication date: 21 August 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/147508.147527
Related Items
Characteristic formulae for fixed-point semantics: a general framework, Axiomatizing GSOS with termination, A characterization of finitary bisimulation, Contracts for Mobile Processes, Concurrent testing of processes, Duplication of constants in process algebra, A completeness theorem for nondeterministic Kleene algebras, When are prime formulae characteristic?, Specifying termination in CSP, A semantic theory for value-passing processes based on the late approach, Theory of interaction, Unnamed Item, On hierarchically developing reactive systems, Equational Theories of Abnormal Termination Based on Kleene Algebra, Axiomatizing weak simulation semantics over BCCSP, Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity, Deciding the Bisimilarity of Context-Free Session Types, Refinement of actions in event structures and causal trees, Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination, Lifting non-finite axiomatizability results to extensions of process algebras, Non-deterministic structures of computation, Fair subtyping for multi-party session types, The equational theory of prebisimilarity over basic CCS with divergence, A fully abstract denotational model for observational precongruence, Connection between logical and algebraic approaches to concurrent systems, Predicate liftings and functor presentations in coalgebraic expression languages, Structural Operational Semantics with First-Order Logic, Semantics and expressiveness of ordered SOS, Counting nondeterministic computations, Axiomatizing Weak Ready Simulation Semantics over BCCSP, A CSP model with flexible parallel termination semantics, Bisimilarity of open terms., Axiomatising divergence, A Congruence Rule Format with Universal Quantification