Axiomatising divergence

DOI10.1016/J.IC.2005.05.007zbMATH Open1110.68086OpenAlexW2914292476MaRDI QIDQ2581532FDOQ2581532

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

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

zbMATH Keywords

Process algebraDivergenceAxiomatisation

Mathematics Subject Classification ID

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

Cites Work

• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Title not available (Why is that?)
• Termination, deadlock, and divergence
• Branching time and abstraction in bisimulation semantics
• Bisimulation and divergence
• A Theory of Communicating Sequential Processes
• Process Algebra
• A complete inference system for a class of regular behaviours
• A complete axiomatisation for observational congruence of finite-state behaviours
• Title not available (Why is that?)

Cited In (13)

• A semantics for every GSPN
• Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Value-Passing Calculus
• 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
• Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof
• Title not available (Why is that?)
• 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)