Eventuality in LOTOS With a Disjunction Operator

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-49366-2_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Constructive Interval Disjunction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Negotiating Lexical Uncertainty and Speaker Expertise With Disjunction

Proceedings of the Annual Meeting of the Berkeley Linguistics Society
2015English

Disjunction and Anaphora

Semantics and Linguistic Theory
2015English

Lexicalizing Disjunction Scope

Proceedings of the Linguistic Society of America
2019English

Attribute Grammar Applications in Prototyping LOTOS Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Free Choice Disjunction as a Rational Speech Act

Semantics and Linguistic Theory
2019English

Towards a Symbolic Modal Logic for LOTOS

1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy