scientific article; zbMATH DE number 1405656
From MaRDI portal
Publication:4938637
zbMath0941.68574MaRDI QIDQ4938637
Mark R. Jerrum, Joram Hirschfeld
Publication date: 10 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems ⋮ Partially-Commutative Context-Free Processes ⋮ Theory of interaction ⋮ Unique parallel decomposition in branching and weak bisimulation semantics ⋮ Unnamed Item ⋮ Complexity of deciding bisimilarity between normed BPA and normed BPP ⋮ Selected Ideas Used for Decidability and Undecidability of Bisimilarity ⋮ Normed BPA vs. Normed BPP Revisited ⋮ Decidability of Weak Bisimilarity for a Subset of BPA ⋮ Partially-commutative context-free processes: expressibility and tractability ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic ⋮ A general approach to comparing infinite-state systems with their finite-state specifications ⋮ Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time ⋮ The regular viewpoint on PA-processes ⋮ Decidable first-order transition logics for PA-processes
This page was built for publication:
