Forthcoming events

JOURNAL ARTICLE published June 1991 in Formal Aspects of Computing

A refinement-based process algebra for timed automata

JOURNAL ARTICLE published August 2005 in Formal Aspects of Computing

Authors: Stefano Cattani | Marta Kwiatkowska

A mechanically verified incremental garbage collector

JOURNAL ARTICLE published July 1994 in Formal Aspects of Computing

Authors: David M. Russinoff

A layered semantics for a parallel object-oriented language

JOURNAL ARTICLE published July 1992 in Formal Aspects of Computing

Authors: Pierre America | Jan Rutten

A criterion for atomicity

JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing

Authors: James H. Anderson | Mohamed G. Gouda

Coquand's calculus of constructions: A mathematical foundation for a proof development system

JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing

Authors: Jonathan P. Seldin

Error in the UNITY substitution rule for subscripted operators

JOURNAL ARTICLE published July 1994 in Formal Aspects of Computing

Authors: I. S. W. B. Prasetya

Compositional verification of real-time systems with Explicit Clock Temporal Logic

JOURNAL ARTICLE published May 1996 in Formal Aspects of Computing

Authors: Ping Zhou | Jozef Hooman | Ruurd Kuiper

Forthcoming events

JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing

The applicability of discrete performance estimation methods to VLSI design

JOURNAL ARTICLE published March 1993 in Formal Aspects of Computing

Authors: Alan Williams

An analysis of refinement in an abortive paradigm

JOURNAL ARTICLE published September 2006 in Formal Aspects of Computing

Authors: Moshe Deutsch | Martin C. Henson

The First World Congress on Formal Methods in the Development of Computing Systems

JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing

Authors: Jeanette Wing | Jim Woodcock

Certifying circuits in Type Theory

JOURNAL ARTICLE published November 2004 in Formal Aspects of Computing

Authors: Solange Coupet-Grimal | Line Jakubiec

Editorial: Where Theory and Practice Meet

JOURNAL ARTICLE published December 2003 in Formal Aspects of Computing

Authors: Manfred Broy | Gerald Lüttgen | Michael Mendler

Specification and analysis of synchronous reactions

JOURNAL ARTICLE published August 2004 in Formal Aspects of Computing

Authors: Mirabelle Nebut

Dynamical Quantities in Net Systems

JOURNAL ARTICLE published October 2002 in Formal Aspects of Computing

Authors: Hartmann J. Genrich

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: DAVID E. RYDEHEARD | DONALD T. SANNELLA

Compositional Comparison of Formal Software Specifications Using Transformation Systems

JOURNAL ARTICLE published May 2002 in Formal Aspects of Computing

Authors: Martin Große-Rhode

Local Invariance

JOURNAL ARTICLE published October 2002 in Formal Aspects of Computing

Authors: David H. Pitt | Michael Shields

Barrier synchronisation: Axiomatisation and relaxation

JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing

Authors: A. Stewart | M. Clint | J. Gabarró