Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yoshinao Isobe
Eventuality in LOTOS With a Disjunction Operator
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A LOTOS Framework for Middleware Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constructive Interval Disjunction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Negotiating Lexical Uncertainty and Speaker Expertise With Disjunction
Proceedings of the Annual Meeting of the Berkeley Linguistics Society
Disjunction and Anaphora
Semantics and Linguistic Theory
Lexicalizing Disjunction Scope
Proceedings of the Linguistic Society of America
Attribute Grammar Applications in Prototyping LOTOS Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Free Choice Disjunction as a Rational Speech Act
Semantics and Linguistic Theory
Towards a Symbolic Modal Logic for LOTOS