Sciweavers

1724 search results - page 27 / 345
» Models for Concurrency
Sort
View
DAC
1994
ACM
15 years 6 months ago
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
Gjalt G. de Jong, Bill Lin
CSL
1999
Springer
15 years 6 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
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...
Paul Gastin, Michael W. Mislove
161
Voted
ARES
1998
Springer
15 years 6 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
80
Voted
DAC
2002
ACM
16 years 2 months ago
A detailed cost model for concurrent use with hardware/software co-design
Daniel Ragan, Peter Sandborn, Paul Stoaks