Results 11 to 20 of about 103,776 (269)
An Operational Petri Net Semantics for the Join-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj +4 more sources
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence.
Jos Baeten, Bas Luttik, Fei Yang
doaj +7 more sources
Extended Connectors: Structuring Glue Operators in BIP [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities.
Eduard Baranov, Simon Bliudze
doaj +6 more sources
First Class Call Stacks: Exploring Head Reduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd +2 more
doaj +4 more sources
A Provenance Tracking Model for Data Updates [PDF]
Electronic Proceedings in Theoretical Computer Science, 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.
Gabriel Ciobanu, Ross Horne
doaj +6 more sources
Causality in the Semantics of Esterel: Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics
MohammadReza Mousavi
doaj +4 more sources
On Coevaluation Behavior and Equivalence
Mathematics, 2022 Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a concise form of semantics, with the same number of rules as in evaluation, which intends to simultaneously describe finite and infinite computations.
Angel Zúñiga, Gemma Bel-Enguix
doaj +1 more source
A Modular Structural Operational Semantics for Delimited Continuations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited ...
Neil Sculthorpe +2 more
doaj +1 more source
Information, 2020 Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness.
Marwa Ziadia +3 more
doaj +1 more source
Enhanced Operational Semantics in Systems Biology [PDF]
, 2003 We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological ...
A. Dovier +11 more
core +1 more source