Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Feedback, trace and fixed-point semantics

P. Katis, Nicoletta Sabadini, Robert F.C. Walters

RAIRO-Theor. Inf. Appl., 36 2 (2002) 181-194

Published online: 2002-12-15

DOI: https://doi.org/10.1051/ita:2002009

This article has been cited by the following article(s):

Robin Piedeleu and Fabio Zanasi
(2025)
https://doi.org/10.1017/9781009625715

Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò and Elena Di Lavore
2155 185 (2024)
https://doi.org/10.1007/978-3-031-63800-8_10

Fosco Loregian
14617 65 (2024)
https://doi.org/10.1007/978-3-031-66438-0_4

Span(Graph): a canonical feedback algebra of open transition systems

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Paweł Sobociński
Software and Systems Modeling 22 (2) 495 (2023)
https://doi.org/10.1007/s10270-023-01092-7

Elena Di Lavore, Giovanni de Felice and Mario Román
1 (2022)
https://doi.org/10.1145/3531130.3533365

Formal Aspects of Component Software

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Paweł Sobociński
Lecture Notes in Computer Science, Formal Aspects of Component Software 13077 63 (2021)
https://doi.org/10.1007/978-3-030-90636-8_4

Open Diagrams via Coend Calculus

Mario Román
Electronic Proceedings in Theoretical Computer Science 333 65 (2021)
https://doi.org/10.4204/EPTCS.333.5

On the geometry and algebra of networks with state

N. Sabadini, F. Schiavio and R.F.C. Walters
Theoretical Computer Science 664 144 (2017)
https://doi.org/10.1016/j.tcs.2016.01.028

Blocked-Braid Groups

D. Maglia, N. Sabadini and R. F. C. Walters
Applied Categorical Structures 23 (1) 53 (2015)
https://doi.org/10.1007/s10485-013-9363-2

Quantum Turing automata

Miklós Bartha
Electronic Proceedings in Theoretical Computer Science 143 17 (2014)
https://doi.org/10.4204/EPTCS.143.2

The monoidal structure of Turing machines

MIKLÓS BARTHA
Mathematical Structures in Computer Science 23 (2) 204 (2013)
https://doi.org/10.1017/S0960129512000096

An Algebra of Automata That Includes Both Classical and Quantum Entities

Luisa de Francesco Albasini, N. Sabadini and R.F.C. Walters
Electronic Notes in Theoretical Computer Science 270 (2) 263 (2011)
https://doi.org/10.1016/j.entcs.2011.01.036

New Structures for Physics

E. Haghverdi and P. Scott
Lecture Notes in Physics, New Structures for Physics 813 357 (2010)
https://doi.org/10.1007/978-3-642-12821-9_5

Concurrency, Graphs and Models

Robert Rosebrugh, Nicoletta Sabadini and Robert F. C. Walters
Lecture Notes in Computer Science, Concurrency, Graphs and Models 5065 581 (2008)
https://doi.org/10.1007/978-3-540-68679-8_36

Implementation and Application of Automata

Miklós Bartha
Lecture Notes in Computer Science, Implementation and Application of Automata 3845 66 (2006)
https://doi.org/10.1007/11605157_6