Results 31 to 40 of about 42,644,411 (279)
Structured operational semantics and bisimulation as a congruence [PDF]
Information and Computation, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.F. Groote (Jan Friso) +1 more
openaire +7 more sources
Meta SOS - A Maude Based SOS Meta-Theory Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based ...
Luca Aceto +2 more
doaj +1 more source
Coalgebraic semantics for timed processes [PDF]
, 2006 We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”, which amount to partial monoid actions of the time domain or ...
Simpson, Alexander +6 more
core +1 more source
Conservative Extension in Structural Operational Semantics
BRICS Report Series, 1999 <p>Structural operational semantics (SOS) [44] provides a framework to give<br />an operational semantics to programming and specification languages. In<br />particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes.
Verhoef, C., Aceto, L., Fokkink, W.J.
openaire +7 more sources
Tree rules in probabilistic transition system specifications with negative and quantitative premises [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a ...
Pedro R. D'Argenio +2 more
doaj +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics [PDF]
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source
Evaluating the performance of model transformation styles in Maude [PDF]
, 2011 Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of
Lluch-Lafuente, Alberto +4 more
core +1 more source
An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions
, 2004 This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of the language is its support for compensation.
Ferreira, Carla +3 more
core +2 more sources
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
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