Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2021: Coordination Models and Languages pp 134–146Cite as

Asynchronous Global Types in Co-logic Programming

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 12717)

Abstract

Global types are at the core of communication based programming. They allow a high level specification of protocols involving many participants and enforce good safety and liveness properties, such as absence of deadlock, locked participants and orphan messages. In this paper, we describe an implementation of a novel formalism of global types for sessions with asynchronous communications in co-logic programming, where we use coinduction to properly handle the coinductive syntax of global types and processes. We also define a simple query language to write sessions and global types, providing primitives for type checking.

Keywords

  • Global types
  • Prolog
  • Coinduction

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Ancona, D., Dovier, A.: A theoretical perspective of coinductive logic programming. Fund. Inform. 140(3–4), 221–246 (2015). https://doi.org/10.3233/FI-2015-1252

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Bettini, L., Coppo, M., D’Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418–433. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85361-9_33

    CrossRef  Google Scholar 

  3. Castellani, I., Dezani-Ciancaglini, M., Giannini, P.: Global types and event structure semantics for asynchronous multiparty sessions. CoRR abs/2102.00865 (2021). https://arxiv.org/abs/2102.00865

  4. Dagnino, F., Giannini, P., Dezani-Ciancaglini, M.: Deconfined global types for asynchronous sessions. In: Damiani, F., Dardha, O. (eds.) COORDINATION 2021. LNCS, vol. 12717, pp. 41–60. Springer, Cham (2021)

    Google Scholar 

  5. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) ACM Symposium on Principles of Programming Languages, POPL 2006, pp. 273–284. ACM Press (2008). https://doi.org/10.1145/1328438.1328472

  6. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1–9:67 (2016). https://doi.org/10.1145/2827695

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf (2013)

    Google Scholar 

  8. Severi, P., Dezani-Ciancaglini, M.: Observational equivalence for multiparty sessions. Fund. Inform. 170(1–3), 267–305 (2019). https://doi.org/10.3233/FI-2019-1863

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Simon, L.: Extending logic programming with coinduction. Ph.D. thesis, University of Texas at Dallas (2006)

    Google Scholar 

  10. Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-logic programming: extending logic programming with coinduction. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 472–483. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73420-8_42

    CrossRef  MATH  Google Scholar 

  11. Simon, L., Mallya, A., Bansal, A., Gupta, G.: Coinductive logic programming. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 330–345. Springer, Heidelberg (2006). https://doi.org/10.1007/11799573_25

    CrossRef  MATH  Google Scholar 

  12. Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theory Pract. Logic Program. 12(1–2), 67–96 (2012)

    CrossRef  MathSciNet  Google Scholar 

Download references

Acknowledgements

We thank all the anonymous referees for their careful reading and useful comments, which helped us improve the paper. We are also grateful to Paola Giannini and Elena Zucca for their many suggestions to make the presentation clearer.

Author information

Authors and Affiliations

  1. DIBRIS, Università di Genova, Genoa, Italy

    Riccardo Bianchini & Francesco Dagnino

Authors
  1. Riccardo Bianchini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Dagnino
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Dagnino .

Editor information

Editors and Affiliations

  1. University of Turin, Turin, Italy

    Ferruccio Damiani

  2. Sir Alwyn William Building, University of Glasgow, Glasgow, UK

    Dr. Ornela Dardha

Rights and permissions

Reprints and Permissions

Copyright information

© 2021 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bianchini, R., Dagnino, F. (2021). Asynchronous Global Types in Co-logic Programming. In: Damiani, F., Dardha, O. (eds) Coordination Models and Languages. COORDINATION 2021. Lecture Notes in Computer Science(), vol 12717. Springer, Cham. https://doi.org/10.1007/978-3-030-78142-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-78142-2_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-78141-5

  • Online ISBN: 978-3-030-78142-2

  • eBook Packages: Computer ScienceComputer Science (R0)

search

Navigation