2152 search results - page 6 / 431 » On Automating the Calculus of Relations |
FOSSACS
2004
Springer
15 years 3 months 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...
77
Voted
ICLP
2010
Springer
15 years 2 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
15 years 3 months ago
2002
IEEE
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
LICS
1992
IEEE
15 years 2 months ago
1992
IEEE