16 Hits in 4.5 sec

Reversible Computation in Petri Nets [article]

Kyriaki Psara
2021 arXiv   pre-print
As such, in this thesis we propose a reversible approach to Petri nets by introducing machinery and associated operational semantics to tackle the challenges of the main forms of reversibility.  ...  In this respect, a further aim is to control reversibility by extending our formal semantics where transitions are associated with conditions whose satisfaction allows the execution of transitions in the  ...  Petri nets are a mathematical language for modelling and reasoning about distributed systems.  ... 
arXiv:2101.07066v1 fatcat:tsse7k3zjfaxbltu7cuj3qjrsm

An information centric network for computing the distribution of computations

Manolis Sifalakis, Basil Kohler, Christopher Christopher, Christian Tschudin
2014 Proceedings of the 1st international conference on Information-centric networking - INC '14  
Forwarding optimization and routing policies become thereafter a basis of dynamic decisions for (re)-distributing computations, and retrieving results.  ...  Then, we demonstrate through a series of proof-of-concept experiments how they extend the capabilities of an information centric network (CCN), for orchestrating and distributing data computations, and  ...  in the net.  ... 
doi:10.1145/2660129.2660150 dblp:conf/acmicn/SifalakisKST14 fatcat:4heiasawzrcetoj4ergiezasdu

Recovery within long-running transactions

Christian Colombo, Gordon J. Pace
2013 ACM Computing Surveys  
The notion of compensations has been long advocated as a way of addressing this issue, through the specification of activities which can be executed to undo partial transactions.  ...  This has led to the need for effective and automatic error recovery techniques to resolve failures.  ...  ACKNOWLEDGMENTS We wish to thank Adrian Francalanza for his feedback on preliminary versions of this paper, and the anonymous reviewers who provided concrete feedback on the content and presentation of  ... 
doi:10.1145/2480741.2480745 fatcat:zj4tke2k4bbcvljiaeybh56vpa

A tutorial on computational classical logic and the sequent calculus

2018 Journal of functional programming  
For example, binding a value to a variable is dual to manipulating the flow of control in a program.  ...  We begin by reviewing Gentzen's LK sequent calculus and show how the Curry–Howard isomorphism still applies to give us a different basis for expressing computation.  ...  Acknowledgements We would like to thank Luke Maurer, Philip Johnson-Freyd, Matthias Felleisen, and the anonymous reviewers for their thorough and helpful feedback for improving this paper.  ... 
doi:10.1017/s0956796818000023 fatcat:ff6fprv6vfhrjgqhwnll3vqcwe

An algebra of reversible computation

Yong Wang
2016 SpringerPlus  
CCSK is the extension of CCS for a general reversible process calculus. The main novelty of CCSK is that the structure of processes is not consumed, but simply annotated when they are executed.  ...  Danos and Krivine's reversible RCCS (Danos and Krivine 2005) uses the concept of thread to reverse a CCS (Milner 1989; Milner et al. 1992) process.  ...  both left distributivity and right distributivity.  ... 
doi:10.1186/s40064-016-3229-7 pmid:27730021 pmcid:PMC5037115 fatcat:nu5hubrosnff3lqgzmwev65y5e

Introduction to linear logic and ludics, part II [article]

Pierre-Louis Curien
2005 arXiv   pre-print
We hope to offer a few computer science insights into this new theory.  ...  It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an aim of further unveiling the fundamental interactive  ...  Acknowledgements I wish to thank Song Fangmin and the University of Nanjing for an invitation in October 2001, which offered me the occasion to give a few lectures on linear logic, and Aldo Ursini and  ... 
arXiv:cs/0501039v1 fatcat:dc4ltgacqrg43lm6py4jb3a4ie

A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology [article]

Kaustuv Chaudhuri, Joelle Despeyroux
2013 arXiv   pre-print
We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning.  ...  The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous  ...  We thank François Fages, Sylvain Soliman, Alessandra Carbone, Vincent Danos and Jean Krivine for fruitful discussions on various preliminary versions of the work presented here.  ... 
arXiv:1310.4310v1 fatcat:rh6hdppzl5dvtggw5nnezoz4ni

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages [article]

Vikraman Choudhury, Jacek Karwowski, Amr Sabry
2021 arXiv   pre-print
In this paper, we give a denotational semantics for this language, using the language of weak groupoids à la Homotopy Type Theory, and show how to derive an equational theory for it, presented by 2-combinators  ...  The Π family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic datatypes.  ...  DISCUSSION & RELATED WORK The main theme of our work is the semantic foundation of reversible languages.  ... 
arXiv:2110.05404v1 fatcat:5lwu7nxrwna5thzngtuvv43og4

Page 1373 of Mathematical Reviews Vol. 26, Issue Index [page]

Mathematical Reviews  
., 94h:68056 Goguen, Joseph A. see Meseguer, José, 94e:68123 Gold, Robert Dataflow semantics for Petri nets.  ...  A method for the efficient realization of programs in semantic program- ming. (Russian.  ... 

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation [article]

Clément Aubert, Ioana Cristescu
2020 arXiv   pre-print
Concurrent reversible computation, for instance, offered interesting extensions to the Calculus of Communicating Systems, but was still lacking a natural and pertinent bisimulation to study processes equivalences  ...  This result gives an insight on the expressiveness of reversibility, as both backward moves and a memory mechanism-providing 'backward determinism'-are needed to capture HHPB.  ...  For Distribution of Memory, we have that Proof.  ... 
arXiv:2005.06814v1 fatcat:eivoqz37r5gxpkmugeqt3fnnhy

Report from Dagstuhl Seminar 14481 Multiscale Spatial Computational Systems Biology 1 Executive Summary

David Gilbert, Monika Heiner, Koichi Takahashi, Adelinde Uhrmacher, David Gilbert, Monika Heiner, Koichi Takahashi, Adelinde Uhrmacher
This activity was carried out in a collaborative and self-directed manner using the Open Space Technology approach as evidenced by a high degree of communication both within and between the teams.  ...  A distinguishing factor of the seminar was the modelling exercise-where teams explored different modelling paradigms, in order to better understand the details of the approaches, their challenges, potential  ...  This work was supported by Platform for Dynamic Approaches to Living System from the Ministry of Education, Culture, Sports, Science and Technology, Japan. Acknowledgements.  ... 

9th International Conference on Types for Proofs and Programs LIPIcs-Leibniz International Proceedings in Informatics

Ralph Matthes, Aleksy Schubert, Ralph Matthes, Aleksy Schubert, Wolfgang Thomas, Rwth Aachen, Reinhard Wilhelm
2013 unpublished
The 19th International Conference on Types for Proofs and Programs (TYPES 2013) was held in Toulouse, France from April 22 to 26, 2013, consisting of the main conference and several satellite events.  ...  The research for this paper has been started while the first two authors were members of the Institute for Advanced Study in Princeton, as part of the program Univalent Foundations of Mathematics.  ...  We thank François Fages, Sylvain Soliman, Alessandra Carbone, Vincent Danos and Jean Krivine for fruitful discussions on various preliminary versions of the work presented here.  ... 

Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Verifying Reliability (Dagstuhl Seminar 12341) Engineering Multiagent Systems (Dagstuhl Seminar 122342)

Goetz Graefe, Wey Guy, Harumi Kuno, Glenn, Christopher Clifton, Bart Kuijpers, Katharina Morik, Yucel Saygin, Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy (+5 others)
2012 unpublished
We further extend our gratitude to the seminar organizers and the Dagstuhl staff for bringing us all together and making this seminar a very pleasant experience.  ...  The latter needs to be more rigorous (generating reasoning engines from semantic specifications) and ideally needs to take  ...  This is illustrated by an example of agent-based development of a turn-based game using high-level Petri nets based on the nets-within-nets paradigm.  ... 

Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue [article]

Moreover, multiscale models come with additional challenges to the execution of model semantics.  ...  system that provides a distributed shared memory abstraction for a cluster.  ...  The VAL system, described in this talk, was introduced as a reference semantics for PDDL2.1, enabling plan validity to be checked against domain and problem specifications.  ... 
doi:10.4230/dagrep.4.11 fatcat:zzps76cx7rfldla5z5dikvsqbe

On Lions, Impala, and Bigraphs

Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani
2016 ACM Transactions on Computer-Human Interaction  
We establish a modelling approach based on four perspectives on ubiquitous systems -Computational, Physical, Human and Technology -and explore how these interact with one another.  ...  While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large  ...  Norman's seminal work on interaction framed interaction in terms of a broad goal-plan-execute-evaluate cycle [Norman 1988 ].  ... 
doi:10.1145/2882784 fatcat:5awghlyp3fc43iaopql4fzlb3a
« Previous Showing results 1 — 15 out of 16 results