An equational modeling of asynchronous concurrent programming
type: Item
instance of: scholarly article
title: An equational modeling of asynchronous concurrent programming
zbMATH Open document ID: 1475.68062
DOI: 10.1007/978-3-030-57761-2_9
author: David Janin
publication date: 2021-07-01T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 7365565
MaRDI profile type: Publication
full work available at URL: 978-3-030-57761-2 9
OpenAlex ID: W3082965907
Recommended article: A hierarchy of equivalences for asynchronous calculi
Recommended article: Q4219054
Recommended article: Modelling concurrency with semi-commutations
Recommended article: A model of dynamical concurrent program execution
Recommended article: Q4027626
Recommended article: Q4858578
Recommended article: Models for concurrent constraint programming
Recommended article: Communicating Sequential Processes. The First 25 Years
Recommended article: Q2736349
Recommended article: Q3126772
description: scientific article; zbMATH DE number 7365565