12 search results - page 1 / 3 » Names, Equations, Relations: Practical Ways to Reason about ... |
TLCA
1997
Springer
13 years 10 months ago
1997
Springer
CADE
2008
Springer
14 years 6 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
BIRTHDAY
2008
Springer
13 years 8 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...