Publication:2760249
From MaRDI portal
zbMath1062.68079MaRDI QIDQ2760249
No author found.
Publication date: 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Stochastic and Real Time in Process Algebra: A Conceptual Overview, Unnamed Item, Foundational aspects of multiscale modeling of biological systems with process algebras, On the axiomatizability of priority. II, QoS negotiation in service composition, Preferential choice and coordination conditions, Algebraic theory of probabilistic processes., Branching time and orthogonal bisimulation equivalence, Ensuring liveness properties of distributed systems: open problems, On the axiomatisability of priority. III: Priority strikes again, Replacement freeness: a criterion for separating process calculi, Stochastic biological modelling in the presence of multiple compartments, CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions, Specification, testing and implementation relations for symbolic-probabilistic systems, Priority and abstraction in process algebra, CCS with priority guards, Unnamed Item, Encoding Catalytic P Systems in π@, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes, Rigorous Discretization of Hybrid Systems Using Process Calculi