ISORC
1999
IEEE
14 years 1 days ago
1999
IEEE
COORDINATION
1999
Springer
14 years 1 days ago
1999
Springer
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
COORDINATION
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
CONCUR
1999
Springer
14 years 1 days ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...