Results 31 to 40 of about 57,646 (303)
, 2011 Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco
core +1 more source
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its ...
Luca Aceto +5 more
doaj +1 more source
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
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes [PDF]
Logical Methods in Computer Science, 2018 We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics.
Valentina Castiglioni +2 more
doaj +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
Proceedings Sixth Workshop on Structural Operational Semantics
Electronic Proceedings in Theoretical Computer Science, 2010 Bartek Klin, Paweł Sobociński
openalex +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
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
Intelligent agent simulator in massive crowd [PDF]
, 2018 Crowd simulations have many benefits over real-life research such as in computer games, architecture and entertainment. One of the key elements in this study is to include elements of decision-making into the crowd.
Ahmad, A. +7 more
core +2 more sources
Proceedings Seventh Workshop on Structural Operational Semantics
Electronic Proceedings in Theoretical Computer Science, 2010 Luca Aceto, Paweł Sobociński
+4 more sources