Sciweavers

298 search results - page 1 / 60
» Abstract Models of Transfinite Reductions
Sort
View
61
Voted
RTA
2010
Springer
15 years 2 months ago
Abstract Models of Transfinite Reductions
Patrick Bahr
LICS
2010
IEEE
14 years 9 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
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...
Vincent Danos, Jérôme Feret, Walter F...
LICS
1994
IEEE
15 years 2 months ago
A Fully Abstract Semantics for Concurrent Graph Reduction
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
Alan Jeffrey
CAV
2009
Springer
184views Hardware» more  CAV 2009»
15 years 11 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta