Zobrazeno 1 - 2
of 2
pro vyhledávání: '"G. M. Pinna"'
Autor:
Iain Phillips, Martin Kutrib, Claudio Antares Mezzina, Lukasz Mikulski, Germán Vidal, Bogdan Aman, Robin Kaarsgaard, Jarkko Kari, R. Nagarajan, Gabriel Ciobanu, Ivan Lanese, G. M. Pinna, Irek Ulidowski, Luca Prigioniero, Robert Glück
Publikováno v:
Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600
Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
International audience; Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb8f8cbe0ef6418b15e3c20dc81f9535
https://hdl.handle.net/11576/2677196
https://hdl.handle.net/11576/2677196
We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe (ordinary) nets, the truly concurrent semantics is given at a categ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e33a09ce71db4919965d21c8f736bc8c
http://hdl.handle.net/11568/84029
http://hdl.handle.net/11568/84029