The reversible temporal process language (Q2165209): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-08679-3_3
+Normal rank
@@ Property / OpenAlex ID @@
+W4290960066
@@ Property / OpenAlex ID: W4290960066 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
+Normal rank
@@ Property / cites work @@
+Towards Bridging Time and Causal Reversibility
@@ Property / cites work: Towards Bridging Time and Causal Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Causal-Consistent Debugging of Distributed Erlang Programs
+Normal rank
@@ Property / cites work @@
+Real-time production scheduling in the Industry-4.0 context: addressing uncertainties in job arrivals and machine breakdowns
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089300
@@ Property / cites work: Q5089300 / rank @@
+Normal rank
@@ Property / cites work @@
+Static versus dynamic reversibility in CCS
@@ Property / cites work: Static versus dynamic reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Forward-Reverse Observational Equivalences in CCSK
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to reversible computation
@@ Property / cites work: An axiomatic approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric framework for reversible \(\pi\)-calculi
+Normal rank
@@ Property / cites work @@
+Towards a Truly Concurrent Semantics for Reversible CCS
+Normal rank
@@ Property / cites work @@
+On reversibility and broadcast
@@ Property / cites work: On reversibility and broadcast / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028420
@@ Property / cites work: Q5028420 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed runtime monitoring for multiparty conversations
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2165209