Results 31 to 40 of about 121,111 (294)
On the specification of operations on the rational behaviour of systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the behaviour of all ...
Jurriaan Rot +2 more
doaj +1 more source
Measurable Stochastics for Brane Calculus [PDF]
, 2010 We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations.
Gabriel Ciobanu +3 more
core +4 more sources
Hierarchical states in the Compositional Interchange Format [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems.
H. Beohar +3 more
doaj +1 more source
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 26th International Workshop on Expressiveness in Concurrency and the 16th Workshop on Structural Operational Semantics, which was held on August 26, 2019, in Amsterdam (The ...
Jorge A. Pérez, J. Rot
semanticscholar +1 more source
On the Distributability of Mobile Ambients [PDF]
, 2018 Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we ...
Nestmann, Uwe, Peters, Kirstin
core +2 more sources
Structural Operational Semantics
BRICS Report Series, 1999 The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e.
Aceto, Luca, Fokkink, J., Verhoef, C.
openaire +3 more sources
Orthogonal Extensions in Structural Operational Semantics [PDF]
, 2005 In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural ...
Mousavi, M.R., Reniers, M.A.
openaire +2 more sources
Implementing Structural Operational Semantics in Python
Journal of KIISE, 2018 Suhwan Ji, Hyeonseung Im
openaire +2 more sources
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing, China, as an ...
Jorge A. Pérez, S. Tini
semanticscholar +1 more source
A Provenance Tracking Model for Data Updates [PDF]
, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Ciobanu, Gabriel, Horne, Ross
core +3 more sources