On the role of basic design concepts in behaviour structuring

Computer Networks

Volumn 29, Issue 4, 1997, Pages 413-436

  Quartel, Dick A C ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Actions; Behaviour refinement; Behaviour specification; Behaviour structuring techniques; Causality relations; Design concepts; Design milestones; Interactions; Open distributed systems

Indexed keywords

EID: 4944240299     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(97)83471-x     Document Type: Article

References (2)

1. T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Comput. Networks ISDN Systems 14 (1987) 25-59.
2. L. Ferreira Pires, Architectural notes: A framework for distributed systems development, Ph.D. Thesis, University of Twente, Enschede, The Netherlands, 1994.