The cash-point (ATM) 'problem'

Formal Aspects of Computing

Volumn 12, Issue 4, 2000, Pages 211-215

  Denvir, Tim ^a   Oliveira, José ^b   Plat, Nico ^c  

^a Translimina Ltd   (United Kingdom)

^b UNIVERSITY OF MINHO   (Portugal)

^c West Consulting BV   (Netherlands)

Author keywords

Cash point (ATM) problem; Competition; FM'99, Formal methods, Tools exhibition

Indexed keywords

EID: 0041726474     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070012     Document Type: Article

References (4)

1. B. T. Denvir et al (eds.): The Analysis of Concurrent Systems. LNCS 207, Springer-Verlag, 1986.
2. Formal methods. In World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volumes 1 and II, J. M. Wing, J. Woodcock and J. Davies (edts.). LNCS 1708 and 1709, Springer-Verlag, 1999.
3. Reference to Formal Aspects of Computing, 12(3): 145-210, 2000.
4. http://www.fmeurope.org