scientific article

zbMath0970.68114MaRDI QIDQ2703726

Mario Bravetti, Marco Bernardo

Publication date: 8 May 2001

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

zbMATH Keywords

EMPA\(_{\text{gr}}\)

Mathematics Subject Classification ID

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

Related Items

Unnamed Item ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ On the Semantics of Markov Automata ⋮ A congruence relation for sPBC ⋮ Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ Process algebra for performance evaluation ⋮ Quantitative information in the tuple space coordination model ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems ⋮ 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