A complete inference system for a class of regular behaviours (Q1057072): Difference between revisions

The author defines a behaviour as a congruence class of charts (non-deterministic finite-state acceptors). He presents a complete inference system for finite behaviours.

0 references

reviewed by

W.Kwasowiec

0 references

zbMATH Keywords

congruence class of charts

0 references

non-deterministic finite-state acceptors

0 references

author

Arthur J. Milner

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

0 references

0 references

A Theory of Communicating Sequential Processes

0 references

Q3902494

0 references

A calculus of communicating systems

0 references

Two Complete Axiom Systems for the Algebra of Regular Events

0 references

Q3948608

0 references

Identifiers

zbMATH Open document ID

0562.68065

0 references

DOI

10.1016/0022-0000(84)90023-0

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1057072

@@ Property / author @@
-Arthur J. Milner
@@ Property / author: Arthur J. Milner / rank @@
-Normal rank
@@ Property / author @@
+Arthur J. Milner
@@ Property / author: Arthur J. Milner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2169869634
@@ Property / OpenAlex ID: W2169869634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746776
@@ Property / cites work: Q4746776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959406
@@ Property / cites work: Q3959406 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+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 @@
+Q3902494
@@ Property / cites work: Q3902494 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q3948608
@@ Property / cites work: Q3948608 / rank @@
+Normal rank