2148 search results - page 2 / 430 » Responsiveness in Process Calculi |
CMSB
2004
Springer
14 years 24 days ago
2004
Springer
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
FLAIRS
2000
13 years 8 months ago
2000
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
LISP
2006
13 years 7 months ago
2006
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
FAC
2002
13 years 7 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...