Formal 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
  
• 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

• 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, J. E. Sinclair, A. W. Roscoe:
  Responsiveness of interoperating components. 394-411