Volume 8,
Number 1,
Spring 2001
Selected Papers of the Eleventh Nordic Workshop on Programming Theory (NWPT'99),
October 13-15,
1999
- Kaisa Sere, Wang Li:
Guest Editors' Foreword.
1 BibTeX
- Ralph-Johan Back, Luigia Petre, Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems.
2-21 BibTeX
- Ana Bove:
Simple General Recursion in Type Theory.
22-42 BibTeX
- Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL.
43-64 BibTeX
- Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems.
65-87 BibTeX
- R. F. Lutje Spelberg, W. J. Toetenel:
Parametric Real-Time Model Checking Using Splitting Trees.
88-120 BibTeX
- Simon Mørk:
Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems.
121-158 BibTeX
- Mauno Rönkkö, Xuandong Li:
Linear Hybrid Action Systems.
159- BibTeX
Volume 8,
Number 2,
Summer 2001
Volume 8,
Number 3,
Fall 2001
Volume 8,
Number 4,
Winter 2001
Copyright © Sun May 17 00:15:32 2009
by Michael Ley (ley@uni-trier.de)
