On recursive operations over logic LTS (Q5740660): Difference between revisions

@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Ready simulation for concurrency: it's logical!
@@ Property / cites work: Ready simulation for concurrency: it's logical! / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunction on processes: Full abstraction via ready-tree semantics
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Process Calculus
@@ Property / cites work: A Logical Process Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+A ground-complete axiomatisation of finite-state processes in a generic process algebra
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for fixed-point semantics: a general framework
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Safe reasoning with logic LTS
@@ Property / cites work: Safe reasoning with logic LTS / rank @@
+Normal rank