Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Romain Demangeon"'
Autor:
Laura Bocchi, Romain Demangeon
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 137, Iss Proc. PLACES 2013, Pp 53-62 (2013)
Recent work on the enhancement of multiparty session types with logical annotations enable the effective verification of properties on (1) the structure of the conversations, (2) the sorts of the messages, and (3) the actual values exchanged. In [3]
Externí odkaz:
https://doaj.org/article/66bf8ea465164681bba472964ea2bae6
Autor:
Nobuko Yoshida, Romain Demangeon
Publikováno v:
LICS
LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18-33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18-33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.344-353, ⟨10.1145/3209108.3209122⟩
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18-33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18-33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.344-353, ⟨10.1145/3209108.3209122⟩
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science
International audience; This paper studies the complexity of π-calculus processes with respect to the quantity of transitions caused by an incoming message. First we propose a typing system for integrating Bellantoni and Cook's characterisation of p
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2017, 669, pp.33-58. ⟨10.1016/j.tcs.2017.02.009⟩
Theoretical Computer Science, 2017, 669, pp.33-58. ⟨10.1016/j.tcs.2017.02.009⟩
Formal Techniques for Distributed Systems ISBN: 9783642385919
FMOODS/FORTE
Theoretical Computer Science, Elsevier, 2017, 669, pp.33-58. ⟨10.1016/j.tcs.2017.02.009⟩
Theoretical Computer Science, 2017, 669, pp.33-58. ⟨10.1016/j.tcs.2017.02.009⟩
Formal Techniques for Distributed Systems ISBN: 9783642385919
FMOODS/FORTE
International audience; In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognised, however the exi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::636356561b61a74bf6c1b5573686e57c
https://hal.sorbonne-universite.fr/hal-01513349
https://hal.sorbonne-universite.fr/hal-01513349
Publikováno v:
Journal of Logic and Algebraic Programming
Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
Journal of Logic and Algebraic Programming, Elsevier, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
Journal of Logic and Algebraic Programming, Elsevier, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
We study termination of programs in concurrent higher-order languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing concurrent calculi. However, in contrast with the λ-calculus, a simply-typed di
Publikováno v:
Formal Methods in System Design
Formal Methods in System Design, Springer Verlag, 2015, pp.1--29. ⟨10.1007/s10703-014-0218-8⟩
Formal Methods in System Design, 2015, pp.1--29. ⟨10.1007/s10703-014-0218-8⟩
Formal Methods in System Design, Springer Verlag, 2015, pp.1--29. ⟨10.1007/s10703-014-0218-8⟩
Formal Methods in System Design, 2015, pp.1--29. ⟨10.1007/s10703-014-0218-8⟩
International audience; The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations (Ocean Observatories Initative, http://www.ocea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67edca5809a0d095ddc3e08389d8083e
https://hal.archives-ouvertes.fr/hal-01146168
https://hal.archives-ouvertes.fr/hal-01146168
Publikováno v:
FSEN
FSEN, Apr 2011, Téhéran, Iran. pp.128-142, ⟨10.1007/978-3-642-29320-7_9⟩
Fundamentals of Software Engineering ISBN: 9783642293191
FSEN, Apr 2011, Téhéran, Iran. pp.128-142, ⟨10.1007/978-3-642-29320-7_9⟩
Fundamentals of Software Engineering ISBN: 9783642293191
International audience; We present a method for ensuring termination of lambda- calculi with references. This method makes it possible to combine measure-based techniques for termination of imperative languages with traditional approaches to terminat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf5528f6f12fb548120d6d65366f4f58
https://hal.science/hal-00798786
https://hal.science/hal-00798786
Autor:
Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou, Rumyana Neykova, Kohei Honda, Romain Demangeon, Tzu-Chun Chen
Publikováno v:
Concurrent Objects and Beyond
Concurrent Objects and Beyond, 2014, Kobe, Japan. pp.105-127, ⟨10.1007/978-3-662-44471-9_5⟩
Lecture Notes in Computer Science ISBN: 9783662444702
Concurrent Objects and Beyond, 2014, Kobe, Japan. pp.105-127, ⟨10.1007/978-3-662-44471-9_5⟩
Lecture Notes in Computer Science ISBN: 9783662444702
International audience; Session types are types for distributed communicating processes. They were born from process encodings of data structures and typical interaction scenarios in an asynchronous version of the π-calculus, and are being studied a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7f9a0c0ba7ddb7a56da0bd9f7960d6d
https://hal.archives-ouvertes.fr/hal-01213679
https://hal.archives-ouvertes.fr/hal-01213679
Publikováno v:
Runtime Verification ISBN: 9783642407864
The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations [33,28] on Scribble, a choreography description language based on multi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f0be8d15d41626f419992ded37fe256
https://doi.org/10.1007/978-3-642-40787-1_8
https://doi.org/10.1007/978-3-642-40787-1_8
Publikováno v:
Trustworthy Global Computing ISBN: 9783642411564
TGC
TGC
Recent work on the enhancement of multiparty sessions types with logical annotations enables not only the validation of structural properties of the conversations and on the sorts of the messages, but also the validation of properties on the actual v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba41d28f1001f66f7bc03d9ed54dec12
https://doi.org/10.1007/978-3-642-41157-1_7
https://doi.org/10.1007/978-3-642-41157-1_7
Autor:
Kohei Honda, Romain Demangeon
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642329395
CONCUR
CONCUR
We propose an improvement to session-types, introducing nested protocols, the possibility to call a subprotocol from a parent protocol. This feature adds expressiveness and modularity to the existing session-type theory, allowing arguments to be pass
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9cea08a18dfa8a1a5ba0b96ae4d4a98
https://doi.org/10.1007/978-3-642-32940-1_20
https://doi.org/10.1007/978-3-642-32940-1_20