Process algebra for modal transition systemses

DOI10.4230/OASICS.MEMICS.2010.9MaRDI QIDQ2917271zbMATH OpenOpenAlexFDO

Authors Nikola Beneš, Jan Křetínský

Publication date 28 September 2012

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2011/3070/pdf/14.pdf

zbMATH Keywords

modal transition systemsprocess algebraspecification

Mathematics Subject Classification ID

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

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Modular specification of process algebras
• Process Algebra
• Process algebra and model checking
• Communicating Sequential Processes. The First 25 Years
• Process algebra for hybrid systems
• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606
• Modal Logic and Equality for Process Algebra

Cited in

(12)

• A deductive approach towards reasoning about algebraic transition systems
• Modular specification of process algebras
• Process algebras for systems diagnosis.
• Logical vs. behavioural specifications
• Refinement checking on parametric modal transition systems
• Merging partial behaviour models with different vocabularies
• A Sound Observational Semantics for Modal Transition Systems
• MoTraS: a tool for modal transition systems and their extensions
• Parametric and quantitative extensions of modal transition systems
• 30 years of modal transition systems: survey of extensions and analysis
• On determinism in modal transition systems
• Comparing disjunctive modal transition systems with an one-selecting variant

This page was built for publication: Process algebra for modal transition systemses

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