Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zoran Salcic
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
Related publications
The Varieties of Programming Language Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositionality and Concepts—A Perspective From Formal Semantics and Philosophy of Language
Compositionality and Concepts in Linguistics and Psychology
A Formal Architecture for the 3APL Agent Programming Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Elements of Formal Semantics: An Introduction to Logic for Students of Language
Language
Linguistics
Language
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Language Semantics
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.
Language and Time: The Semantics of Tense Incontemporary Philosophy of Language
Bulletin of the Russian Philosophical Society
Formal Semantics and Verification for Feature Modeling
