Filters








332,623 Hits in 2.5 sec

Operational equivalence for interaction nets

Maribel Fernández, Ian Mackie
2003 Theoretical Computer Science  
This work generalizes previous studies of operational equivalence in typed interaction nets since it can be applied to untyped systems, thus all systems of interaction nets are captured. (M.  ...  The notion of contextual (or operational) equivalence is fundamental in the theory of programming languages.  ...  In this paper we present an operational theory for untyped interaction nets, including a notion of contextual equivalence (also called operational or observational equivalence) and an associated bisimilarity  ... 
doi:10.1016/s0304-3975(02)00637-0 fatcat:wuulcugaqvelzp54evqq3qaj3a

A Theory of Operational Equivalence for Interaction Nets [chapter]

Maribel Fernández, Ian Mackie
2000 Lecture Notes in Computer Science  
This work generalizes previous studies of operational equivalence in interaction nets since it can be applied to untyped systems, thus all systems of interaction nets are captured.  ...  By setting up a notion of bisimilarity, and showing that it coincides with contextual equivalence, one obtains a simple coinductive proof technique for showing that two programs are equivalent in all contexts  ...  In this paper we present an operational theory for untyped interaction nets, including a notion of contextual equivalence and an associated bisimilarity relation which permits the use of coinductive techniques  ... 
doi:10.1007/10719839_44 fatcat:3r5m6alib5hqvndl73wzemta7u

Coinductive techniques for operational equivalence of interaction nets

M. Ferndandez, I. Mackie
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)  
In this paper we study a notion of operational equivalence for interaction nets, following the recent success of applying methods based on bisimulation to functional and object oriented programming languages  ...  We include several examples to demonstrate the usefulness of the approach, in particular for optimizing interaction nets.  ...  Our aim is to define a notion of operational equivalence for interaction nets, and an associated proof technique (nets may be cyclic structures coding infinite terms for example, so there is no hope of  ... 
doi:10.1109/lics.1998.705668 dblp:conf/lics/FernandezM98 fatcat:mvfobvrmhvdebgouachrowvmhi

Encoding Synchronous Interactions Using Labelled Petri Nets [chapter]

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
2014 Lecture Notes in Computer Science  
This correspondence allows for describing by net semantics the standard CSP observational equivalences.  ...  Through the encoding, the firing semantics of Petri nets models the standard operational semantics of CSP processes, which is both preserved and reflected.  ...  We are grateful to the referees for their insightful suggestions on the submitted version of the paper, and, in particular, for pointing out the relevance of control state reachability in the analysis  ... 
doi:10.1007/978-3-662-43376-8_1 fatcat:xapunbga7rbjvgut6i44ebctii

General Form for Interaction Measures and Framework for Deriving Higher-Order Emergent Effects

Elif Tekin, Pamela J. Yeh, Van M. Savage
2018 Frontiers in Ecology and Evolution  
These results provide a mechanistic basis to better account for how interactions affect biological systems.  ...  The generality and simplicity of this framework allows us to establish a rigorous method for deriving higher-order interaction measures based on any of the pairwise interactions listed above.  ...  All authors gave final approval for publication. ACKNOWLEDGMENTS We thank Nina Singh and Cynthia White for comments on the manuscript.  ... 
doi:10.3389/fevo.2018.00166 fatcat:w3hutbicrrakrmfnz4hoo4vvwa

Page 3306 of Mathematical Reviews Vol. , Issue 2004d [page]

2004 Mathematical Reviews  
This work generalizes previous studies of operational equivalence in typed interaction nets since it can be applied to untyped systems, thus all systems of interaction nets are captured.” 2004d:68087 68Q60  ...  References are discussed that show the details of these applications.” 2004d:68086 68Q60 68Q55 Fernandez, Maribel (F-ENS-MIL; Paris) ; Mackie, Ian (F-POLY-LI; Palaiseau) Operational equivalence for interaction  ... 

Encoding Asynchronous Interactions Using Open Petri Nets [chapter]

Paolo Baldan, Filippo Bonchi, Fabio Gadducci
2009 Lecture Notes in Computer Science  
We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open places.  ...  The standard token game of nets models the reduction semantics of the calculus; the exchange of tokens on open places models the interactions between processes and their environment.  ...  We are grateful to Barbara König for enlightening discussions on a preliminary version of this paper and to the anonymous reviewers for their inspiring comments.  ... 
doi:10.1007/978-3-642-04081-8_8 fatcat:d5fbbkhypjaitmjb6bk4os63ty

Concurrency Can't Be Observed, Asynchronously [chapter]

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010 Lecture Notes in Computer Science  
equivalence actually coincide.  ...  The theory is validated on two case studies, related to nominal calculi (π-calculus) and visual specification formalisms (Petri nets).  ...  The authors would like to thank Catuscia Palamidessi for the helpful discussions and the pointers to the literature.  ... 
doi:10.1007/978-3-642-17164-2_29 fatcat:3k47gaehkreinmq2nxqpb5qxe4

Interactive Software "Isotonic Design using Normalized Equivalent Toxicity Score (ID-NETS©TM)" for Cancer Phase I Clinical Trials

Zhengjia Chen
2013 Open Medical Informatics Journal  
: 1) Calculating the recommended dose for the subsequent patient cohort using available completed data; and 2) Performing simulations to obtain the operating characteristics of a trial designed with ID-NETS  ...  Currently, ID-NETS(©TM)v1.0 is available for free download at http://winshipbbisr.emory.edu/IDNETS.html.  ...  Anthea Hammond for her critical reading and editing of the manuscript.  ... 
doi:10.2174/1874431101307010008 pmid:23847695 pmcid:PMC3680993 fatcat:of62uprcrjenlediq4yacmbmtm

Siphon-Based Verification of Component Compatibility

Wlodek M. Zuberek
2009 2009 Fourth International Conference on Dependability of Computer Systems  
This concept of compatibility can be easily extended to a set of interacting components. Checking the compatibility of interacting components is essential for any dependable software system.  ...  One of techniques for deadlock analysis is based on net structures called siphons. Siphon-based verification of component compatibility is the subject of this paper.  ...  the binary operation ⊕ is based on the operations on the input and output sets of places (for simplicity it is assumed that the nets do not contain self-loops (p,t), (t,p)): ⊕ 0 −1 +1 ⋆ 0 0 −1 +1 ⋆ −1  ... 
doi:10.1109/depcos-relcomex.2009.35 dblp:conf/depcos/Zuberek09 fatcat:ugl6y7qik5evvfcm6ixtc53cjq

Combinatorial Strand Algebra in Insertion Modeling System

Dmitriy M. Klionov
2012 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
We focus on the basic strand algebra -combinatorial strand algebra, which is equivalent to the place-transition Petri nets, and on the version of the model driver of the Insertion Modeling System, based  ...  on the Petri nets.  ...  algebra is equivalent to place transition Petri nets.  ... 
dblp:conf/icteri/Klionov12 fatcat:l5xhot75cja6lfeqsdcvrtxemy

Soundness and Equivalence of Petri Nets and annotated Finite State Automate: A Comparison in the SOA context

Andreas Wombacher, Axel Martens
2007 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference  
The aim of this paper is to compare the equivalence and soundness relations of the Petri Net and annotated Finite State Automaton models in the context of Service Oriented Architectures.  ...  For these cases also mappings between the different models and relations are presented.  ...  Next the equivalence operation is investigated in Section III. Section IV discusses the soundness operation for synchronous and asynchronous communication models.  ... 
doi:10.1109/dest.2007.371980 fatcat:3zcuwfojvjf2hl67m5npkghtsq

A method for designing the logical structure of a distributed telecommunication environment

G. S. Vasilyev, V. T. Eremenko, O. R. Kuzichkin, A. V. Eremenko, D. I. Surzhik, S. V. Eremenko
2020 Revista de la Universidad del Zulia. Ciencias sociales y arte  
The article presents a methodology for the development of information exchange tools based on the apparatus of hierarchical Petri nets, characterized by the possibility of simultaneous events and allows  ...  It describes the construction of complex structures of objects and operations on them, the management of timeouts based on the timer object, the specification of protocol objects, the specification of  ...  ".The theory was prepared in the framework of the state task FZWG -2020-0017 "Development of theoretical foundations for building information and analytical support for telecommunication systems for geo-ecological  ... 
doi:10.46925//rdluz.30.15 fatcat:xhfussjxvjeg3iwzaez2zltlhi

Page 8764 of Mathematical Reviews Vol. , Issue 99m [page]

1999 Mathematical Reviews  
In addition, we consider all the mentioned equivalences on sequential nets, a special subclass of general Petri nets modelling sequential systems, for which no two actions can happen simultaneously.  ...  Summary: “In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in an earlier paper [I. V.  ... 

Modular encoding of synchronous and asynchronous interactions using open Petri nets

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015 Science of Computer Programming  
A framework for the modular encoding of process calculi into Petri nets is proposed, which is based on a reactive variant of Petri nets.  ...  The encoding is proved to preserve as well as to reflect the operational semantics.  ...  can be used for synchronous interactions.  ... 
doi:10.1016/j.scico.2014.11.019 fatcat:nsilavtlhncfnaa4whzsg2qnmm
« Previous Showing results 1 — 15 out of 332,623 results