Language Of Temporal Ordering Specification

Results: 2



#Item
1Software engineering / Computing / Computer programming / Type theory / Procedural programming languages / Process calculi / Data types / Synchronization / Language Of Temporal Ordering Specification / Standard ML / E-LOTOS / ML

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
2Data / ISO standards / Concurrency / Concurrency control / Synchronization / Language Of Temporal Ordering Specification / Communications protocol / RM-ODP / Specification and Description Language / Computing / Process calculi / Information

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
UPDATE