Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chih-sung Tang
Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.
Related publications
Elements of Formal Semantics: An Introduction to Logic for Students of Language
Language
Linguistics
Language
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
OpenMP Tasking Model for Ada: Safety and Correctness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Semantics of Logic Programs With Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
Compositionality and Concepts—A Perspective From Formal Semantics and Philosophy of Language
Compositionality and Concepts in Linguistics and Psychology
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Modalist: Or, the Laws of Rational Conviction, a Text-Book in Formal or General Logic.
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
