Asynchronous Box Calculus with multi-way communication

Document type :
Reports
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02310227
Contributor : Franck Pommereau <>
Submitted on : Thursday, October 10, 2019 - 8:18:54 AM
Last modification on : Friday, October 11, 2019 - 1:15:44 AM

File

BKP-LACL-TR-2008.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02310227, version 1

Collections

Citation

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Asynchronous Box Calculus with multi-way communication. [Research Report] LACL, Université Paris-Est/Créteil. 2008. ⟨hal-02310227⟩

Share

Metrics

Record views

7

Files downloads

5