243 search results - page 26 / 49 » Process Algebra: An Algebraic Theory of Concurrency |
TAPSOFT
1995
Springer
15 years 1 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
COORDINATION
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
70
Voted
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
76
Voted
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
101
click to vote
IANDC
2008
14 years 9 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...