Out for coffee: with Rob

DOI10.1007/s00236-020-00378-3zbMath1443.68008OpenAlexW3021652477MaRDI QIDQ2182661

Ansgar Fehnker

Publication date: 26 May 2020

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-020-00378-3

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Related Items (1)

Preface

Cites Work

• A Process Algebra for Wireless Mesh Networks
• Branching time and abstraction in bisimulation semantics
• Precongruence formats for decorated trace semantics

This page was built for publication: Out for coffee: with Rob