Safe reasoning with logic LTS (Q549200): 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.1016/j.tcs.2011.03.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1997172052
@@ Property / OpenAlex ID: W1997172052 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunction on processes: Full abstraction via ready-tree semantics
+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 @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal Simulation and Interactive Games
@@ Property / cites work: Refusal Simulation and Interactive Games / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+On determinism in modal transition systems
@@ Property / cites work: On determinism in modal transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Modal Refinement and Consistency
@@ Property / cites work: On Modal Refinement and Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Processes with local and global liveness requirements
+Normal rank
@@ Property / cites work @@
+Q4791836
@@ Property / cites work: Q4791836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518901
@@ Property / cites work: Q4518901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
+Normal rank
@@ Property / cites work @@
+Process algebra and conditional composition
@@ Property / cites work: Process algebra and conditional composition / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549200