Results 281 to 290 of about 3,861,227 (307)
Some of the next articles are maybe not open access.
A Compositional Semantics for Verified Separate Compilation and Linking
Certified Programs and Proofs, 2015T. Ramananandro +4 more
semanticscholar +1 more source
Compositional logic semantics and lotos
1990A branching temporal semantics for a subset of LOTOS is proposed in order to provide a formal tool to verify properties of LOTOS specifications. The semantics is defined using a compositional approach, to provide modularity in the verification process, by which it is possible to associate a CTL * formula to each language construct.
Fantechi A, Gnesi S, Ristori G
openaire +2 more sources
Compositional Specification of Behavioral Semantics
2007 Design, Automation & Test in Europe Conference & Exhibition, 2007Kai Chen 0010 +2 more
openaire +1 more source
Semantic composition of cloud services
2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2021Mouna Rekik 0001 +2 more
openaire +1 more source
International Conference on Intelligent User Interfaces, 2014
A. Freitas, E. Curry
semanticscholar +1 more source
A. Freitas, E. Curry
semanticscholar +1 more source
Temporal semantics of compositional task models and problem solving methods
Data and Knowledge Engineering, 1999Jan Treur, Niek Wijngaards
exaly
A Compositional Pluralist Semantics for Extensional and Attitude Verbs
Language, Cognition and Mind, 2021exaly
Exponentially timed SADF: Compositional semantics, reductions, and analysis
International Conference on Embedded Software, 2014J. Katoen, Hao Wu
semanticscholar +1 more source