7557 search results - page 85 / 1512 » Modeling Timed Concurrent Systems |
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
121
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
SIGMOD
1993
ACM
15 years 5 months ago
1993
ACM
In a research and technology applicationproject at Bellcore, we used multidatabase transactions to model multisystem workflows of telecommunication applications. During the projec...
183
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...