Results 291 to 300 of about 1,585,173 (321)
Some of the next articles are maybe not open access.
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences, 2010Jacek Sroka, Jan Hidders, Paolo Missier
exaly
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2013Gabor Simko +4 more
semanticscholar +1 more source
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
European Conference on Object-Oriented Programming, 2013Alexander J. Summers, S. Drossopoulou
semanticscholar +1 more source
A Formal Semantics for Complete UML State Machines with Communications
International Conference on Integrated Formal Methods, 2013Shuang Liu +6 more
semanticscholar +1 more source
A Formal Semantics of Data Flow Diagrams
Formal Aspects of Computing, 2012Peter Gorm Larsen, Nico Plat
exaly
Formal semantics in modern type theories with coercive subtyping
Linguistics and Philosophy, 2012Zhaohui Luo
semanticscholar +1 more source
A Reader's Guide to Classic Papers in Formal Semantics
Studies in Linguistics and Philosophy, 2022exaly
An executable formal semantics of C with applications
ACM-SIGACT Symposium on Principles of Programming Languages, 2011Chucky Ellison, Grigore Roşu
semanticscholar +1 more source