1532 search results - page 117 / 307 » An Algebraic Process Calculus |
124
click to vote
ENTCS
2007
15 years 4 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
114
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
129
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
127
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
120
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...