default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 16
Volume 16, Number 1, April 2004
- Cliff B. Jones
, John Cooke:
Editorial. 1- - John S. Fitzgerald:
Formal Methods Europe Update. 2-3 - Cliff B. Jones, D. J. Cooke, Christiane Notarmarco:
Online First Publication. 4- - Antónia Lopes, José Luiz Fiadeiro:
Superposition: composition vs refinement of non-deterministic, action-based systems. 5-18 - Clare E. Martin, Jeremy Gibbons, Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes. 19-35 - Alan Stewart, Maurice Clint, Joaquim Gabarró:
Barrier synchronisation: Axiomatisation and relaxation. 36-50 - Richard F. Paige, Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel. 51-79 - Caitriona T. Carr, T. Martin McGinnity, L. J. McDaid:
Integration of UML and VHDL-AMS for analogue system modelling. 80-94
Volume 16, Number 2, May 2004
- Cliff B. Jones, Michael R. Hansen:
Editorial. 95- - Rana Barua:
Completeness of a combination of neighbourhood logic and temporal logic. 96-103 - Henning Dierks:
Comparing model checking and logical reasoning for real-time systems. 104-120 - Martin Fränzle:
Model-checking dense-time Duration Calculus. 121-139 - Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Unifying proof methodologies of duration calculus and timed linear temporal logic. 140-154 - Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng:
Duration-constrained regular expressions. 155-163
Volume 16, Number 3, August 2004
- Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial. 165- - María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
A generalized semantics of PROMELA for abstract model checking. 166-193 - Ingolf Krüger, Wolfgang Prenninger, Robert Sandner:
Broadcast MSCs. 194-209 - Edward A. Lee, Yuhong Xiong:
A behavioral type system and its application in Ptolemy II. 210-237 - Natalia López, Manuel Núñez, Fernando Rubio:
An integrated framework for the performance analysis of asynchronous communicating stochastic processes. 238-262 - Mirabelle Nebut:
Specification and analysis of synchronous reactions. 263-291 - Simone Tini:
Timed CCP compositionally embeds Argos and Lustre. 292-312
Volume 16, Number 4, November 2004
- Stefan Hallerstede, Michael J. Butler:
Performance analysis of probabilistic action systems. 313-331 - Stephen Paynter, Neil Henderson, James M. Armstrong:
Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism. 332-351 - Solange Coupet-Grimal, Line Jakubiec:
Certifying circuits in Type Theory. 352-373 - Florentin Ipate:
Complete deterministic stream X-machine testing. 374-386 - Wim H. Hesselink:
An assertional proof for a construction of an atomic variable. 387-393 - Joy N. Reed, Jane E. Sinclair, A. W. Roscoe:
Responsiveness of interoperating components. 394-411
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-15 01:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
