Results 21 to 30 of about 121,111 (294)
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
Compositionality of Approximate Bisimulation for Probabilistic Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence.
Daniel Gebler, Simone Tini
doaj +1 more source
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop of CONCUR 2020,
Ornela Dardha, J. Rot
semanticscholar +1 more source
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial) [PDF]
International Conference on Coordination Models and Languages, 2023 This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models.
J. Proença, L. Edixhoven
semanticscholar +1 more source
Executable structural operational semantics in Maude [PDF]
The Journal of Logic and Algebraic Programming, 2006 This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional rewrite rules with rewrites in the conditions, as made possible by the new features in Maude 2 ...
Verdejo López, José Alberto +1 more
openaire +2 more sources
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source
Energies, 2023 A piezoelectric energy harvester (PEH) transduces mechanical energy into electrical energy, which can be utilized as an energy source for self-powered or low-power devices. Therefore, maximizing the power of a PEH is a crucial design objective.
Taekyun Kim, Jihoon Kim, Tae Hee Lee
doaj +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
, 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
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