Transactions and contracts based on reaction systems (Q2044946): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2021.07.012
@@ Property / DOI: 10.1016/j.tcs.2021.07.012 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2021.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W3186669890
@@ Property / OpenAlex ID: W3186669890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425581
@@ Property / cites work: Q3425581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205065
@@ Property / cites work: Q4205065 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+A TOUR OF REACTION SYSTEMS
@@ Property / cites work: A TOUR OF REACTION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction systems with influence on environment
@@ Property / cites work: Reaction systems with influence on environment / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction Systems with Duration
@@ Property / cites work: Reaction Systems with Duration / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of Reaction Systems
@@ Property / cites work: Networks of Reaction Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction Systems Made Simple
@@ Property / cites work: Reaction Systems Made Simple / rank @@
+Normal rank
@@ Property / cites work @@
+SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION
@@ Property / cites work: SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Reaction Systems
@@ Property / cites work: Minimal Reaction Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction Systems, Transition Systems, and Equivalences
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics of Reaction Systems with Restriction
+Normal rank
@@ Property / cites work @@
+Compositional semantics and behavioural equivalences for reaction systems with restriction
+Normal rank
@@ Property / cites work @@
+Evolving reaction systems
@@ Property / cites work: Evolving reaction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction Systems and Enabling Equivalence
@@ Property / cites work: Reaction Systems and Enabling Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for Specifying and Orchestrating Service Contracts
+Normal rank
@@ Property / cites work @@
+Contracts as games on event structures
@@ Property / cites work: Contracts as games on event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2021.07.012
@@ Property / DOI: 10.1016/J.TCS.2021.07.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2044946