1788 search results - page 16 / 358 » Model Theory for Process Algebra |
111
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
142
Voted
TOPNOC
2008
15 years 2 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
110
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
222
Voted
ENTCS
2006
15 years 2 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
106
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...