Axiomatising divergence

DOI10.1016/J.IC.2005.05.007MaRDI QIDQ2581532zbMATH OpenOpenAlexFDO

Authors Markus Lohrey, Holger Hermanns, P. R. D'Argenio

Publication date 10 January 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2005.05.007

zbMATH Keywords

Process algebraDivergenceAxiomatisation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2086654
• scientific article; zbMATH DE number 898047
• Axiomatic derivation of the continuum hypothesis
• scientific article; zbMATH DE number 3171974
• scientific article; zbMATH DE number 6503918
• Decomposing the univalence axiom
• Splitting the Pasch axiom
• On asymptotic divergency in equivalential logics
• Axiomatic theory of divergent series and cohomological equations

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2086654 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete inference system for a class of regular behaviours
• Bisimulation and divergence
• Branching time and abstraction in bisimulation semantics
• Process Algebra
• Termination, deadlock, and divergence
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(13)

• A semantics for every GSPN
• Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.
• scientific article; zbMATH DE number 7559462 (Why is no real title available?)
• scientific article; zbMATH DE number 7243676 (Why is no real title available?)
• The Value-Passing Calculus
• scientific article; zbMATH DE number 2086654 (Why is no real title available?)
• Complete axiomatization for divergent-sensitive bisimulations in basic process algebra with prefix iteration
• Counting nondeterministic computations
• Reactive bisimulation semantics for a process algebra with timeouts
• scientific article; zbMATH DE number 7453959 (Why is no real title available?)
• Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof
• Non-deterministic structures of computation
• Theory of interaction

This page was built for publication: Axiomatising divergence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2581532)