Non axiomatisability of positive relation algebras with constants, via graph homomorphisms (Q5089316): Difference between revisions

@@ label / en / label / en @@
+Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2020.49
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2020.49 / rank @@
-Normal rank
@@ Property / author @@
-Alain Finkel
@@ Property / author: Alain Finkel / rank @@
-Normal rank
@@ Property / author @@
+Alain Finkel
@@ Property / author: Alain Finkel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Verifying Communicating Multi-pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Forward Analysis and Model Checking for Trace Bounded WSTS
+Normal rank
@@ Property / cites work @@
+Q3396589
@@ Property / cites work: Q3396589 / rank @@
+Normal rank
@@ Property / cites work @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Model-checking CTL* over flat Presburger counter systems
+Normal rank
@@ Property / cites work @@
+A Perfect Model for Bounded Verification
@@ Property / cites work: A Perfect Model for Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Flat FIFO Systems
@@ Property / cites work: Verification of Flat FIFO Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431917
@@ Property / cites work: Q5431917 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(k\)-synchronizability of systems
@@ Property / cites work: On the \(k\)-synchronizability of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780411
@@ Property / cites work: Q3780411 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Q4035681
@@ Property / cites work: Q4035681 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for unboundedness of fifo channels
@@ Property / cites work: Testing for unboundedness of fifo channels / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+The tree width of auxiliary storage
@@ Property / cites work: The tree width of auxiliary storage / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
+Normal rank
@@ Property / cites work @@
+Automates a file
@@ Property / cites work: Automates a file / rank @@
+Normal rank
@@ Property / cites work @@
+Unboundedness detection for a class of communicating finite-state machines
+Normal rank
@@ Property / full work available at URL @@
+https://hal.archives-ouvertes.fr/hal-02870687
+Normal rank
@@ Property / OpenAlex ID @@
+W4287919515
@@ Property / OpenAlex ID: W4287919515 / rank @@
+Normal rank
@@ Property / title @@
+Non axiomatisability of positive relation algebras with constants, via graph homomorphisms (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2020.49
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2020.49 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5089316