Extended transition systems for parametric bisimulation

DOI10.1007/3-540-56939-1_102MaRDI QIDQ4630292zbMATH OpenOpenAlexFDO

Authors Paula Inverardi, Daniel Yankelevich, Corrado Priami

Publication date 29 March 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56939-1_102

zbMATH Keywords

operational semanticparametric theoryregular expressionregular languagetransition system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parameterised bisimulations: some applications
• Bisimulations up-to: beyond first-order transition systems
• Extensional equivalences for transition systems
• Parameterized systems in BIP: design and model checking
• Parametric and quantitative extensions of modal transition systems
• Logical characterisation of parameterised bisimulations
• Expansive-Bisimulation for Context-Free Processes
• Essential transitions to bisimulation equivalences
• scientific article; zbMATH DE number 1339961
• Branch-well-structured transition systems and extensions

Cites work

• A parametric approach to localities
• A theory of processes with localities
• A Unified Approach to Path Problems
• Automatizing parametric reasoning on distributed concurrent systems
• Concurrent histories: a basis for observing distributed systems
• Fast Algorithms for Solving Path Problems
• scientific article; zbMATH DE number 1638667 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 58291 (Why is no real title available?)
• Proved trees
• Universal axioms for bisimulations

Cited in

(3)

• Extensional equivalences for transition systems
• Branch-well-structured transition systems and extensions
• Structured transition systems with parametric observations: observational congruences and minimal realizations

This page was built for publication: Extended transition systems for parametric bisimulation

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