scientific article
From MaRDI portal
Publication:2980982
DOI10.23638/LMCS-13(1:17)2017zbMATH Open1398.68097arXiv1609.05687MaRDI QIDQ2980982
Nobuko Yoshida, Rumyana Neykova
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1609.05687
Title of this publication is not available (Why is that?)
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Applied Choreographies ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ ElixirST: a session-based type system for elixir modules ⋮ Title not available (Why is that?) ⋮ Concurrent Reversible Sessions ⋮ Open Multiparty Interaction
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980982)
