1704 search results - page 214 / 341 » Design of a Concurrent and Distributed Language |
137
Voted
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
147
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
164
Voted
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
XML Topic maps enable multiple, concurrent views of sets of information objects and can be used to different applications. For example, thesaurus-like interfaces to corpora, navig...
125
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
124
Voted
EDO
2005
Springer
15 years 9 months ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...