11168 search results - page 258 / 2234 » Abstract State Processes |
157
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Services Oriented Architectures preach loosely-coupled services and high
156
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
203
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
149
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present an approach to process scheduling based on an abstract graph representation which captures both dataflow and the flow of control. Target architectures consist of severa...
192
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...