Concurrency Features for the Trellis/Owl Language
No abstract available.
DOI 10.1007/3-540-47891-4_16
Related papers
- An Introduction to Trellis/Owl OOPSLA 1986
- The Trellis Programming Environment OOPSLA 1987
- Reasoning of feature models from derived features GPCE 2012
- Implementation of Distributed Trellis ECOOP 1993
- The Process Trellis Architectur for Real-Time Monitors PPoPP 1990
- Metacompiling OWL Ontologies SLE 2011
- Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions SLE 2024
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition CAV 2022