681 search results - page 32 / 137 » A Logic for True Concurrency |
114
Voted
PADL
2000
Springer
15 years 5 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
111
click to vote
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
137
click to vote
CONCUR
1992
Springer
15 years 6 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
112
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
115
click to vote
FCS
2006
15 years 3 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...