Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification
Results: 2

#	Item
1	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
2	Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):, MarchRelating Architecture and Specification Kenneth J. Turner Department of Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 1999-06-01 18:25:54 Data ISO standards Concurrency Concurrency control Synchronization Language Of Temporal Ordering Specification Communications protocol RM-ODP Specification and Description Language Computing Process calculi Information