2171 search results - page 42 / 435 » A Generic Process Algebra |
114
click to vote
TCS
2002
15 years 9 days ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
133
Voted
CL
2007
Springer
15 years 20 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
103
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
106
Voted
JAIR
2007
15 years 17 days ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
107
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...