( en | de | ru )

 

Disambiguation of "Madelaine, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Finiteness Conditions and Structural Construction of Automata for All Process Algebras.

, and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 275-292. DIMACS/AMS, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Madelaine Hildebrand

Madelaine Böhme

Madelaine Matjak

Madelaine Miethke

Madelaine Taoubi

 

Other publications of authors with the same name

Verification of Concurrent Design Patterns with Data., , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 161-181. Springer, (2019)A Denotational Semantics for Parameterised Networks of Synchronised Automata., and . UTP, volume 10134 of Lecture Notes in Computer Science, page 93-113. Springer, (2016)Finiteness Conditions and Structural Construction of Automata for All Process Algebras., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 275-292. DIMACS/AMS, (1990)Symbolic bisimulation for open and parameterized systems., and . PEPM@POPL, page 14-26. ACM, (2020)Verification of Distributed Hierarchical Components., , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 41-55. Elsevier, (2005)Refinements for Open Automata., , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 11-29. Springer, (2023)Using SMT Engine to Generate Symbolic Automata., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)Un système d'aide à la preuve de compilateurs.. Symposium on Programming, volume 167 of Lecture Notes in Computer Science, page 191-205. Springer, (1984)AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks., and . FORTE, page 61-66. North-Holland, (1989)Verification of Communicating Processes by Means of Automata Reduction and Abstraction., and . STACS, volume 577 of Lecture Notes in Computer Science, page 613-614. Springer, (1992)