2152 search results - page 6 / 431 » On Automating the Calculus of Relations |
FOSSACS
2004
Springer
14 years 22 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
LICS
2002
IEEE
14 years 8 days ago
2002
IEEE
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
LICS
1992
IEEE
13 years 11 months ago
1992
IEEE