Journal: Formal Asp. Comput.

Volume 8, Issue 5

499 -- 538Nancy A. Lynch, Frits W. Vaandrager. Action Transducers and Timed Automata
539 -- 564Christoph Beierle, Egon Börger. Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types
565 -- 584J. Michael Spivey. Richer Types for Z
585 -- 606Scott A. Smolka, Bernhard Steffen. Priority as Extremal Probability
607 -- 616Susanne Graf, Bernhard Steffen, Gerald Lüttgen. Compositional Minimisation of Finite State Systems Using Interface Specifications