A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A uniform approach to true-concurrency and interleaving semantics for Petri nets
1998
Theoretical Computer Science
Preserved Fulltext
This paper continues a research on universal contexts and semantics for Petri nets started by Nielsen, Priese and Sassone (1995) . ...
We consider generalized, labelled Petri nets N where some transitions and places are distinguished as public. They form the interface of N that may communicate with a Petri net context. ...
In fact, they have led to a complete rearrangement of the paper. ...
doi:10.1016/s0304-3975(97)00169-2
fatcat:4rlo2axnlnbarku3mi3vmg2z2u
Author index volume 206 (1998)
1998
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Wimmel, A uniform approach to true-concurrency and interleaving semantics for Petri nets Sac& D.. see T. Eiter Walker, D., see X. Liu Wimmel, H., see L. Priese Yamasaki, S. and Y. ...
., A semantics for modular general logic programs (Fundamenral Study) (l-2) 51p 80 Fredholm, D., see L. Colson , X. and D. ...
doi:10.1016/s0304-3975(98)00196-0
fatcat:g33se4mfqrevbehyqgl4nfu6jy
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The project was initiated and effectively animated by Ugo Montanari, a passionate and long-time advocate of both these approaches to the semantics of concurrency. ...
We recall some memories of the Esprit Basic Research Action CEDISYS, a small, well-focussed and fruitful project which brought together researchers at the meeting point of true concurrency and process ...
Acknowledgements We would like to thank Luca Aceto, Rocco De Nicola and the anonymous reviewer for helpful comments. ...
doi:10.1007/978-3-540-68679-8_47
fatcat:4f2okdimfnfbfk2j6mdrq5lk3m
Model-checking games for fixpoint logics with partial order models
2011
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Since the interleaving semantics of such models is not considered, some problems that may arise when using interleaving representations are avoided and new decidability results for partial order models ...
The games are shown to be sound and complete, and therefore determined. ...
Acknowledgments The author thank the reviewers of the Information and Computation journal and of CONCUR 2009 for their comments, respectively, on this article and on a preliminary conference version [ ...
doi:10.1016/j.ic.2010.12.002
fatcat:6ohjhbv23jds7m6jeuulgl2qre
Page 4873 of Mathematical Reviews Vol. , Issue 2004f
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
As an illustration, the paper gives an application to the modelling of a multi-tasking system in a parallel programming language, which is provided with a concurrent semantics based on Petri nets and for ...
(F-PARIS12-LC; Créteil)
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems. ...
Strategic directions in concurrency research
1996
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS This report has benefited from helpful comments from Chris Hankin, Michael Loui, Jack Stankovic, and Peter Wegner. ...
For example, an approach to design and verification based on a true concurrency model may yield greater computational efficacy than one based on interleaving, since the former admits the application of ...
Similar to concerns raised in Section 3.2 regarding a uniform semantic framework for concurrency, we should also seek ways to combine methodologies to better suit the demands of a given application, and ...
doi:10.1145/242223.242252
fatcat:4gu2wurduveqdhqqrhr27yaqjq
Logics and Games for True Concurrency
[article]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
groundwork for the design of a logic-based, game-theoretic framework for studying, in a uniform way, several concurrent systems regardless of whether they have an interleaving or a partial order semantics ...
Such dualities are used to define new mu-calculi and logic games for the analysis of concurrent systems with partial order semantics. ...
Partial Order Models of Concurrency In concurrency there are two main semantic approaches to modelling concurrent behaviour, either using interleaving or partial order models for concurrency. ...
arXiv:1011.1172v1
fatcat:jmahyvyacffzheloesvuwy25xq
Page 394 of Mathematical Reviews Vol. , Issue 93a
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
93a:68037
operational and denotational semantics for a simple concurrent language with recursion, and prove that 7 = J.” ...
We introduce an observation algebra for CCS and we show that the standard interleaving semantics can be obtained by axiomatizing the operations to yield actions. ...
Non-interference by Unfolding
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show that BNDC admits natural characterisations based on the unfolding semantics -a classical true concurrent semantics for Petri nets -in terms of causalities and conflicts between high and low level ...
This leads to an algorithm for checking BNDC for safe Petri nets which relies on the construction of suitable complete prefixes of the unfolding. A prototype tool provides very promising results. ...
We are grateful to César Rodríguez for developing the tool CUNF and for his suggestions on its use for producing UBIC. ...
doi:10.1007/978-3-319-07734-5_11
fatcat:pxxh4wxdxfghjik32kumpgudku
On fixpoint logics and equivalences for processes with restricted nondeterminism
2015
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, the so-called 'true concurrency' approach, independence or concurrency is a primitive notion (as in, e.g., Petri nets or event structures) rather than a derived concept, as in the interleaving framework ...
From a partial order point of view, a process with an interleaving semantics has no concurrency, trivial causality, and no confusion. ...
I thank the support of the ERC Advance Grant RACE and Michael Wooldridge for useful comments on an initial version of the paper. ...
doi:10.1093/logcom/exv032
fatcat:lnpbai3nvzcgxgbvauammc2yge
Concurrent Computing: from Petri Nets to Graph Grammars
1995
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Petri nets are widely accepted as a speci cation formalism for concurrent and distributed systems. ...
In this tutorial paper I will review some basic de nitions and constructions concerning the concurrent semantics of nets, and I will show to what extent corresponding notions have been developed for graph ...
Orthogonally, t h e concurrency aspects of a net can be represented using a true concurrency approach, where the fact that two e v ents are \not causally related" is represented directly in the semantics ...
doi:10.1016/s1571-0661(05)80181-1
fatcat:dr5n3rqfrfcltoja5eyquch5vu
Page 6383 of Mathematical Reviews Vol. , Issue 99i
[page]
1999
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
{For the entire collection see MR 99h:68010.}
991:68036 68Q10 68Q90 Priese, Lutz; Wimmel, Harro A uniform approach to true-concurrency and interleaving semantics for Petri nets. ...
Labeled Petri nets are adequate to model essential aspects of concurrent systems and to study various versions of (concurrent) behavior and composition. ...
Page 5366 of Mathematical Reviews Vol. , Issue 94i
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A notion of independence of rules and runs enables us to introduce a notion of (and notation for) con- current runs, on which a logical theory of (‘true’) concurrency may be based. ...
The creation of an algebraic framework to deal with realistic applications consists in construct- ing modules of operators and axioms, each module describing a feature of concurrency in a certain semantical ...
Equivalence notions for concurrent systems and refinement of actions
[chapter]
1989
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We investigate equivalence notions for concurrent systems. ...
We show that the usual interleaving equivalences, and also the equivalences based on steps (multisets of concurrently executed actions) are not preserved by refinement of atomic actions. ...
Many thanks also to Ilaria Castellani, Rocco De Nicola and Frits Vaandrager for helpful discussions and comments, and to Gertrud Jacobs for her patience and careful preparation of the manuscript. ...
doi:10.1007/3-540-51486-4_71
fatcat:efz3skw3mndffewjjfunznf5zu
Bisimulation and action refinement
1993
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For event structures with silent moves, we consider several types of bisimulation that incorporate "true" concurrency to a varying degree, and show how each can be lifted in a uniform way to a congruence ...
We prove that we have constructed the coarsest congruences that respect interleaving, pomset and history-preserving bisimulation. ...
Acknowledgment I thank the four referees for their numerous and valuable hints. ...
doi:10.1016/0304-3975(93)90157-o
fatcat:cisvpag6lna5ffhjmpfkwmpb7u
« Previous
Showing results 1 — 15 out of 543 results