A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Reversible Computation in Petri Nets
[article]
2021
arXiv
pre-print
Preserved Fulltext
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
2014
Proceedings of the 1st international conference on Information-centric networking - INC '14
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2013
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 2019; you can also visit the original URL.
The file type is application/pdf.
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
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 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
2016
SpringerPlus
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.
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]
2005
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.
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]
2013
arXiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
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 2021; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
., 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]
2020
arXiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
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.
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. ...
fatcat:fjynhpt5bzfkvbrewwq2osl4ju
9th International Conference on Types for Proofs and Programs LIPIcs-Leibniz International Proceedings in Informatics
2013
unpublished
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.
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. ...
fatcat:4uii2lg7hrdvbosn2ar2ljgnhm
Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Verifying Reliability (Dagstuhl Seminar 12341) Engineering Multiagent Systems (Dagstuhl Seminar 122342)
2012
unpublished
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 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. ...
fatcat:na7mzpsxxfeqlberxsi5mgse4a
Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue
[article]
2015
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 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
ACM Transactions on Computer-Human Interaction
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 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