Using Higher-Order Contracts to Model Session Types (Extended Abstract)-Reference-Cited by-同舟云学术

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Published:2014 Issue: Volume: Page:387-401
ISSN:0302-9743
Container-title:CONCUR 2014 – Concurrency Theory
language:
Short-container-title:

Author:

Bernardi Giovanni,Hennessy Matthew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-44584-6_27

Reference23 articles.

1. Barbanera, F., de’Liguoro, U.: Two notions of sub-behaviour for session-based client/server systems. In: Kutsia, T., Schreiner, W., Fernández, M. (eds.) PPDP, pp. 155–164. ACM (2010)

2. Barbanera, F., de’Liguoro, U.: Sub-behaviour relations for session-based client/server systems (2013) (submitted for publication)

3. Bernardi, G.: Behavioural Equivalences for Web Services. Ph.D. thesis, Trinity College Dublin (2013), https://software.imdea.org/~giovanni.bernardi

4. Bernardi, G., Hennessy, M.: Modelling session types using contracts. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1941–1946. ACM (2012)

5. Bernardi, G., Hennessy, M.: Using higher-order contracts to model session types. CoRR abs/1310.6176 (2013)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14

2. Duality of Session Types: The Final Cut;Electronic Proceedings in Theoretical Computer Science;2020-04-03

3. Automata for Analysing Service Contracts;Logical Methods in Computer Science;2017-04-27

4. Honesty by typing;Logical Methods in Computer Science;2017-04-27

5. Verifiable abstractions for contract-oriented systems;Journal of Logical and Algebraic Methods in Programming;2017-01