942 search results - page 122 / 189 » Process Algebraic Non-product-forms |
IWINAC
2005
Springer
15 years 5 months ago
2005
Springer
A self-assembly algorithm for synchronising agents and have them arrange according to a particular graph is given. This algorithm, expressed using an ad hoc rule-based process alge...
124
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
ACSW
2006
15 years 1 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
87
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...