276 search results - page 43 / 56 » Bisimulation for quantum processes |
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
COORDINATION
2007
Springer
14 years 3 months ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...