Specification of required non-determinism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 298-317

  Lano, K ^a   Bicarregui, J ^a   Fiadeiro, J ^b   Lopes, A ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BRANCHING TIME; CONCURRENT ENVIRONMENT; EXTERNAL ACTION; MODEL-BASED SPECIFICATIONS; NON DETERMINISM; PARALLEL COMPOSITION;

FORMAL METHODS;

EID: 84937432617     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_16     Document Type: Conference Paper

References (13)

1. J-R Abrim. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. J-R Abrial. Extending B Without Changing it (for Developing Distributed Systems), B Conference, IRIN, Nantes, November 1996.
3. M Butler. Stepwise Refinement of Communicating Systems, Southampton University, 1997.
4. K M Chandy and J Misra. Parallel Program Design - A 1%undation, 1988. Addison- Wesley
5. S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994.
6. J Fiadeiro and T Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification, Formal Aspects of Computing 4(3), pp. 239-272, 1992.
7. J Fiadeiro and T Maibaum. Categorical Semantics of Parallel Program Design, Science of Computer Programming, 28 (1997), pp. 111-138, 1997.
8. C B Jones. Accommodating Interference in the formal design of concurrent objectbased programs. Formal Methods in System Design, 8(2): 105-122, March 1996.
9. R Kuiper. Enforcing Nondeterminism via Linear Time Temporal Logic Specification using Hiding, in B Banieqbal, H Barringer and A Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989, 295-303.
10. K Lano, S Goldsack, J Bicarregui and S Kent. Integrating VDM ++ and Real-Time System Design, Z User Meeting, 1997.
11. A Lopes. COMMUNITY and Required Non-determinism, Department of Informatics, University of Lisbon, 1996.
12. C McHale. Synchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance. PhD Thesis, University of Dublin, 1995.
13. C Stirling. Comparing linear and branching time temporal logics. In B Banieqbal, H Barringer and A Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989.