Dynamic Causality in Event Structures

Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe

doi:10.23638/lmcs-14(1:17)2018

Logical Methods in Computer Science ; Volume 14

2018

DOI: 10.23638/lmcs-14(1:17)2018

|View full text |Cite

Dynamic Causality in Event Structures

Youssef Arbach¹,

David S. Karcher²,

Kirstin Peters³

et al.

Help me understand this report

View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

2024

Publication Types

Select...

Book3

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Operational Representation of Dependencies in Context-Dependent Event Structures

Pinna

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.

show abstract

Operational Representation of Dependencies in Context-Dependent Event Structures

Pinna

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

A Language-Based Causal Model for Safety

Bonsangue

Caltais

Feng

et al. 2022

Theoretical Aspects of Software Engineering

View full text Add to dashboard Cite

Sorting is one of the fundamental operations in computer science, and many sequential and parallel algorithms have been proposed in the literature. Swap-based sorting algorithms are one category of sorting algorithms where elements are swapped repeatedly to achieve the desired order. Since these algorithms are widely used in practice, their (functional) correctness, i.e., proving sortedness and permutation properties, is of utmost importance. However, proving the permutation property using automated program verifiers is much more challenging as the formal definition of this property involves existential quantifiers. In this paper, we propose a generic pattern to verify the permutation property for any sequential and parallel swap-based sorting algorithm automatically. To demonstrate our approach, we use VerCors, a verification tool based on separation logic for concurrent and parallel programs, to verify the permutation property of bubble sort, selection sort, insertion sort, parallel odd-even transposition sort, quick sort, two in-place merge sorts and TimSort for any arbitrary size of input.

show abstract

Overview on Constrained Multiparty Synchronisation in Team Automata

Proença

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Dynamic Causality in Event Structures

Cited by 3 publications

References 16 publications

Operational Representation of Dependencies in Context-Dependent Event Structures

Operational Representation of Dependencies in Context-Dependent Event Structures

A Language-Based Causal Model for Safety

Overview on Constrained Multiparty Synchronisation in Team Automata

Contact Info

Product

Resources

About