17 search results - page 1 / 4 » concur 2000 |
CONCUR
2000
Springer
13 years 8 months ago
2000
Springer
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...