Abstract. This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor...
Formalizing SANE Virtual Processor in thread algebra ⋆ (2008)
Abstract. SANE Virtual Processor (SVP) is a microthreaded model being used and developed at the University of Amsterdam. This model is a basis for designing and programming chip multiprocessors and...
Formalizing SANE Virtual Processor in thread algebra ⋆ (2008)
Abstract. The SANE Virtual Processor (SVP) is a fine-grain, threadbased model of concurrent program composition developed and used at the University of Amsterdam as a basis for designing and...
Deciding Orthogonal Bisimulation (2008)
Abstract. Bergstra, Ponse and van der Zwaag introduced in 2003 the notion of orthogonal bisimulation equivalence on labeled transition systems. This equivalence is a refinement of branching...
Semantics and Applications of Process and Program Algebra (2008)
Vu Thuy Duong, Academisch Proefschrift, Thuy Duong Vu, Dr. A. Ponse
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. J.W. Zwemmer ten overstaan van een door het college voor promoties ingestelde...
Structural Operational Semantics and Bounded Nondeterminism (2007)
We present a rule format for structural operational semantics to guarantee that the associated labelled transition system is bounded nondeterministic.
Structural operational semantics and bounded nondeterminism (2003)
Abstract. We present a rule format for structural operational semantics to guarantee that the associated labelled transition system is bounded nondeterministic. 1