2661 search results - page 4 / 533 » A Semantics for Abstraction |
FAC
2000
13 years 6 months ago
2000
s and Abstract Machines Stephan Diehl Universit
TARK
2005
Springer
14 years 14 days ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
IJPP
2010
13 years 4 months ago
2010
ions Using High-Level Abstractions Chunhua Liao
LICS
2010
IEEE
13 years 5 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...
ENTCS
2008
13 years 7 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...