Facet browsing currently unavailable
Page 2 of 1121 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 |
Specification by interface separation JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing |
Stream-Based Specification of Mobile Systems JOURNAL ARTICLE published September 2001 in Formal Aspects of Computing |
Symbolic Approaches to Probability Distributions in Process Algebra JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing |
On simulation, subtyping and substitutability in sequential object systems JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing |
A model checker for linear time temporal logic JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing |
A transformation-based synthesis of temporal specifications JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing |
An approach to literate and structured formal developments JOURNAL ARTICLE published January 1996 in Formal Aspects of Computing |
On equivalence-completions of fairness assumptions JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing |
Generating certified code from formal proofs: a case study in homological algebra JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing |
Preface JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Formal probabilistic analysis of detection properties in wireless sensor networks JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
External and internal choice with event groups in Event-B JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |