925 search results - page 33 / 185 » Typing Component-Based Communication Systems |
142
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
128
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
The objective of the standard parts optimal control problem is to find a number, m, of control inputs to a given input-output system that can be used in different combinations to...
138
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
136
click to vote
MFCS
2004
Springer
15 years 10 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
119
click to vote
ICFEM
1997
Springer
15 years 8 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...