scientific article

zbMath1270.68207MaRDI QIDQ2842864

Mario Bravetti

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805206

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Lumping and reversed processes in cooperating automata ⋮ Proportional lumpability and proportional bisimilarity ⋮ Unnamed Item ⋮ On the Minimisation of Acyclic Models ⋮ Probabilistic weak simulation is decidable in polynomial time ⋮ YMCA ⋮ Stochastic and Real Time in Process Algebra: A Conceptual Overview ⋮ Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A complete inference system for a class of regular behaviours
• A complete axiomatisation for observational congruence of finite-state behaviours
• The algebra of timed processes, ATP: Theory and application
• The theory of interactive generalized semi-Markov processes
• A process algebra for timed systems
• On “Axiomatising Finite Concurrent Processes”
• A Compositional Approach to Performance Modelling

This page was built for publication: