scientific article; zbMATH DE number 7315005

zbMATH Open1455.68038arXiv1010.5571MaRDI QIDQ4963916

Guy Vidal-Naquet, Vincent Daniel David, Christophe Aussaguès, Matthieu Lemerre

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1010.5571

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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 Q4963916)