FMCO
2005
Springer
14 years 5 months ago
2005
Springer
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
FMCO
2005
Springer
14 years 6 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...