1284 search results - page 118 / 257 » Abstract Processes in Orchestration Languages |
168
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
163
click to vote
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
170
click to vote
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
170
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
134
click to vote
BIRTHDAY
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...