1532 search results - page 106 / 307 » An Algebraic Process Calculus |
143
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
101
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
110
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
114
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
129
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...