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
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, Stochastic biological modelling in the presence of multiple compartments, 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