Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages

DOI10.1051/ITA/1986200302911MaRDI QIDQ4728280zbMATHOpenAlexFDO

Authors

Publication date 1986

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92261

zbMATH Keywords

separabilitycalculus of communicating systemsclasses of infinitary languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3978421
• On an effective hierarchy of communicating processes: Separation principle and testing
• Separating regular languages by piecewise testable and unambiguous languages
• scientific article; zbMATH DE number 3856432
• On separation by locally testable and locally threshold testable languages

Cites work

• scientific article; zbMATH DE number 3903948 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3569849 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A calculus of communicating systems
• About fair asynchrony
• Adherences of languages
• Algebraic semantics
• Fully abstract models of typed \(\lambda\)-calculi
• Software Descriptions with Flow Expressions
• Synchronous and asynchronous experiments on processes
• Testing equivalences for processes

Cited in

(4)

• scientific article; zbMATH DE number 3468688 (Why is no real title available?)
• On an effective hierarchy of communicating processes: Separation principle and testing
• Proof systems for infinite behaviours
• scientific article; zbMATH DE number 3978421 (Why is no real title available?)

This page was built for publication: Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4728280)