Formal Aspects of Computing, Volume 16
Volume 16, Number 1, April 2004
- John S. Fitzgerald: Formal Methods Europe Update. 2-3
- 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
- C. 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
- 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
- María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: A generalized semantics of PROMELA for abstract model checking. 166-193
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team