100 search results - page 2 / 20 » Event-based Composition of Concurrent Programs |
LCPC
1993
Springer
13 years 11 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
PASTE
1998
ACM
13 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
JCS
2007
13 years 7 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
FOSSACS
2004
Springer
14 years 13 days 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...
CSL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...