(E)-Lotos: (Enhanced) Language of Temporal Ordering Specification

doi 10.1007/978-1-4471-0701-9_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer London

Related search

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
2007English

The Specification Language of OBSCURE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

A Functional-Test Specification Language.

English

Consensus and Ordering in Language Dynamics

European Physical Journal B
OpticalElectronicCondensed Matter PhysicsMagnetic Materials
2009English

Temporal Language and Temporal Reality

Philosophical Quarterly
Philosophy
2003English

Standard Conformance Test Specification Language TTCN

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1992English

ISML: An Interface Specification Meta-Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Oasis: An Object-Oriented Specification Language

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy