2152 search results - page 49 / 431 » An Abstract Account of Composition |
101
click to vote
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
ICSE
2004
IEEE-ACM
15 years 5 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...