Facet browsing currently unavailable
Page 4 of 1120 results
Sort by: relevance publication year
Essential concepts of algebraic specification and program development JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing |
Forthcoming events JOURNAL ARTICLE published January 1991 in Formal Aspects of Computing |
On Jan L. A. van de Snepscheut's “The Sliding-Window Protocol Revisited” JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing |
On simulation, subtyping and substitutability in sequential object systems JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing |
Weakest preconditions for progress JOURNAL ARTICLE published March 1992 in Formal Aspects of Computing |
Interpreting Message Flow Graphs JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing |
Distributed maximum maintenance on hierarchically divided graphs JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing |
List partitions JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing |
VDM and Z: A comparative case study JOURNAL ARTICLE published January 1992 in Formal Aspects of Computing |
Book review JOURNAL ARTICLE published November 1993 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing |
Proof by analogy in mural JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing |
Types with intersection: An introduction JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing |
On CCS with parametric relabelling JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing |
The sliding-window protocol revisited JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing |
Integration of UML and VHDL-AMS for analogue system modelling JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing |