Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
Home
–
Contact
@InProceedings{park-81, author = "David Park", title = "Concurrency and Automata on Infinite Sequences", year = "1981", volume = "104", pages = "167--183", mon = mar, editor = "Peter Deussen", publisher = "Springer-Verlag", series = "LNCS", address = "Berlin, Heidelberg, and New York", booktitle = "Theoretical Computer Science: 5th GI-Conference, Karlsruhe", }