Results 271 to 280 of about 1,360,419 (300)
Some of the next articles are maybe not open access.
Engineering UToPiA - Formal Semantics for CML
World Congress on Formal Methods, 2014J. Woodcock
semanticscholar +1 more source
A Reader's Guide to Classic Papers in Formal Semantics
Studies in Linguistics and Philosophy, 2022exaly
The formal semantics of programming languages - an introduction
Foundation of computing series, 1993G. Winskel
semanticscholar +1 more source
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 the Taverna 2 workflow model
Journal of Computer and System Sciences, 2010Paolo Missier +2 more
exaly
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 of Data Flow Diagrams
Formal Aspects of Computing, 2012Peter Gorm Larsen +2 more
exaly
Formal semantics in modern type theories with coercive subtyping
Linguistics and Philosophy, 2012Zhaohui Luo
semanticscholar +1 more source