Mihaela Sighireanu  Home/Search
Context
Related
| inrialpes.fr/pub/vasy/tra...manual.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: inrialpes.fr/vasy/traian/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.4 Data values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.5 Structured Labelled Transition System . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3 Lexical Structure 19 3.1 ISO Latin-1 Character Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.2 Input Elements and Tokens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20... (Update)
Active bibliography (related documents): More All
1.0: Towards a Second Generation of Formal Description.. - Garavel, Sighireanu (1998) (Correct)
0.9: Specification and Verification of various Distributed Leader .. - Garavel, Mounier (1996) (Correct)
0.8: Formal Description and Analysis of a Bounded . . . - Mateescu (Correct)
Similar documents based on text: More All
0.6: Validation of the Link Layer Protocol of the IEEE-1394.. - Sighireanu, Mateescu (1997) (Correct)
0.3: Protocol Analysis using a timed version of SDL - Bause, Buchholz (1990) (Correct)
0.3: A Graphical Parallel Composition Operator for Process Algebras - Garavel, Sighireanu (1999) (Correct)
BibTeX entry: (Update)
@misc{ sighireanu-lotos,
author = "Mihaela Sighireanu",
title = "LOTOS NT User Manual",
url = "citeseer.ist.psu.edu/sighireanu00lotos.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1978
1933 Communication and Concurrency (context) - Milner - 1989
392 A Computational Logic (context) - Boyer, Moore - 1979
184 International Organization for Standardization --- Open Syst.. - IEC, of et al. - 1995
184 International Organization for Standardization --- Telecommu.. - IEC, of et al. - 1992
184 International Organization for Standardization --- Open Syst.. - IEC, of et al. - 1989
184 International Organization for Standardization --- Open Syst.. - IEC, of et al. - 1995
184 International Organization for Standardization --- Open Syst.. - IEC, of et al. - 1989
84 The Algebra of Timed Processes ATP: Theory and Application - Nicollin, Sifakis - 1994
51 Architecture and Specification Style in Formal Descriptions .. (context) - Vissers, Scollo et al. - 1988
44 Abstract Data Types and the Development of Data Structures (context) - Guttag - 1977
16 A Graphical Composition Theorem for Networks of Lotos Proces.. (context) - Bolognesi - 1990
12 A Reachability Analysis of RT-LOTOS Specifications - Courtiat, de Oliveira - 1995
12 Revised Working Draft on Enhancements to LOTOS (context) - Quemada - 1996
12 A Comparison of Additivity Axioms in Timed Transition System.. - Jeffrey, Schneider et al. - 1993
11 An Introduction to ET-LOTOS for the Description of Time-sens.. (context) - L'eonard, Leduc - 1997
10 Refined Compilation of Pattern-Matching for Functional Langu.. (context) - Schnoebelen - 1988
10 LOTOS Specification of the MAA Standard (context) - Munster - 1991
9 Introduction to Algebraic Specifications Based on the Langua.. (context) - de Meer, Roth et al. - 1992
9 A proposal for data types for E-LOTOS (context) - Pecheur - 1994
8 Distributed Transaction Processing --- Part 3: Protocol Spec.. (context) - IEC - 1992
8 ADA Language and Methodology (context) - Watt, Wichmann et al.
5 Formal Description of ISO (context) - IEC - 1992
5 French-Romanian Proposal for Capture of Requirements and Exp.. (context) - Garavel, Mateescu - 1996
5 An Analysis of the ISO FTAM Basic File Protocol Specified in.. (context) - Lai, Lo - 1995
3 An Experiment with the Formal Description in LOTOS of the Ai.. (context) - Garavel, Hautbois - 1993
3 Structuring Protocols with Exception in a LOTOS Extension (context) - Quemada, Azcorra - 1992
2 Extended LOTOS (context) - Sighireanu, d'efinition et al. - 1999
1 Rigorous Specification of Real-time Systems (context) - Schneider - 1993
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC