1206 search results - page 102 / 242 » Concurrent Abstract Predicates |
ENTCS
2007
15 years 2 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
115
click to vote
IJSTM
2000
15 years 2 months ago
2000
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
145
Voted
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
FMOODS
2007
15 years 3 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
134
click to vote
WOA
2010
15 years 9 days ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...