2227 search results - page 98 / 446 » Reversibility and Models for Concurrency |
158
click to vote
TPPP
1994
15 years 10 months ago
1994
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
153
click to vote
ENTCS
2007
15 years 5 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...
185
click to vote
JCSC
1998
15 years 5 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
139
click to vote
PADS
1997
ACM
15 years 10 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...