2586 search results - page 9 / 518 » Automatic Abstraction for Congruences |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
CSCW
2006
ACM
14 years 1 months ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
GG
2008
Springer
13 years 8 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
POPL
2010
ACM
14 years 4 months ago
2010
ACM