Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 1117 results
Sort by: relevance publication year
Showing results for ISSN matching 0934-5043

On Jan L. A. van de Snepscheut's “The Sliding-Window Protocol Revisited”

JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing

Authors: H. Peter Hofstee

https://doi.org/10.1007/bf01214619 Actions

On simulation, subtyping and substitutability in sequential object systems

JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing

Authors: Ian Maung

https://doi.org/10.1007/bf01210998 Actions

Weakest preconditions for progress

JOURNAL ARTICLE published March 1992 in Formal Aspects of Computing

Authors: Johan J. Lukkien | Jan L. A. van de Snepscheut

https://doi.org/10.1007/bf01212336 Actions

Interpreting Message Flow Graphs

JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing

Authors: Peter B. Ladkin | Stefan Leue

https://doi.org/10.1007/bf01211629 Actions

Distributed maximum maintenance on hierarchically divided graphs

JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing

Authors: P. J. A. Lentfert | S. D. Swierstra

https://doi.org/10.1007/bf01211315 Actions

List partitions

JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing

Authors: R. S. Bird | O. de Moor

https://doi.org/10.1007/bf01211316 Actions

Book reviews

JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing

Authors: Jonathan Bowen | Dieter Gollmann

https://doi.org/10.1007/bf01214559 Actions

VDM and Z: A comparative case study

JOURNAL ARTICLE published January 1992 in Formal Aspects of Computing

Authors: Ian Hayes

https://doi.org/10.1007/bf01214957 Actions

Book review

JOURNAL ARTICLE published November 1993 in Formal Aspects of Computing

Authors: Rafael D. Lins

https://doi.org/10.1007/bf01211250 Actions

Book reviews

JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing

Authors: Simon Brock | P. Gibson

https://doi.org/10.1007/bf01211219 Actions

Book reviews

JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing

Authors: M. D. Atkinson | David Lester | Lawrence C. Paulson

https://doi.org/10.1007/bf01211396 Actions

Proof by analogy in mural

JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing

Authors: Sunil Vadera

https://doi.org/10.1007/bf01211605 Actions

Book reviews

JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing

Authors: James J. Horning

https://doi.org/10.1007/bf01221101 Actions

Types with intersection: An introduction

JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing

Authors: J. Roger Hindley

https://doi.org/10.1007/bf01211394 Actions

On CCS with parametric relabelling

JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing

Authors: Walter Hussak

https://doi.org/10.1007/bf01214558 Actions

The sliding-window protocol revisited

JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing

Authors: Jan L. A. van de Snepscheut

https://doi.org/10.1007/bf01214620 Actions

Editorial

JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing

Authors: Cliff Jones | Michael R. Hansen

https://doi.org/10.1007/s00165-004-0047-4 Actions

Integration of UML and VHDL-AMS for analogue system modelling

JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing

Authors: C. T. Carr | T. M. McGinnity | L. J. McDaid

https://doi.org/10.1007/s00165-003-0027-0 Actions

Data Abstraction Techniques in the Validation of CSP-OZ Specifications

JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing

Authors: Heike Wehrheim

https://doi.org/10.1007/s001650070026 Actions

Interfaces for Refining Recursion and Procedures

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Mark Staples

https://doi.org/10.1007/s001650070010 Actions
Feedback: support@crossref.org