Sémantique asynchrone et comportements infinis en CPS

DOI10.1016/0304-3975(87)90134-4zbMath0627.68023OpenAlexW2013695080MaRDI QIDQ1092652

Hugues Fauconnier

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90134-4

zbMATH Keywords

fairnessinfinitary languageasynchronous semanticscommunication relationcommunications between processesCSP program

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Sémantique asynchrone et comportements infinis en CPS

Uses Software

• CESAR

Cites Work

• Relations rationnelles infinitaires
• Sémantique asynchrone et comportements infinis en CPS
• Adherences of languages
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• Time, clocks, and the ordering of events in a distributed system
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item