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

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

A predicate transformer for the progress property ‘to-always’

JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing

Authors: Rutger M. Dijkstra | Beverly A. Sanders

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

Editorial

JOURNAL ARTICLE published September 1997 in Formal Aspects of Computing

Authors: John Cooke

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

Unifying proof methodologies of duration calculus and timed linear temporal logic

JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing

Authors: Zhiming Liu | Anders P. Ravn | Xiaoshan Li

https://doi.org/10.1007/s00165-004-0036-7 Actions

Book reviews

JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing

Authors: W. P. R. Mitchell | Alan Hamilton | A. J. McIsaac | Iain Stewart

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

Partial logics reconsidered: A conservative approach

JOURNAL ARTICLE published May 1993 in Formal Aspects of Computing

Authors: Olaf Owe

https://doi.org/10.1007/bf01211555 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

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

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
Feedback: support@crossref.org