Preface for the special issue on interaction and concurrency experience 2017

DOI10.1016/j.jlamp.2019.100488zbMath1434.68017OpenAlexW2981811653MaRDI QIDQ2011216

No author found.

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.100488

zbMATH Keywords

programming languagesformal methodsconcurrency theory

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

• Session types and subtyping for orchestrated interactions
• Keep it fair: equivalence and composition
• Latent semantic analysis of game models using LSTM

This page was built for publication: Preface for the special issue on interaction and concurrency experience 2017