Teaching Concurrency Concepts to Freshmen

DOI10.1007/978-3-540-89287-8_3zbMath1171.68571OpenAlexW1525999382MaRDI QIDQ3599211

Christian Eisentraut, Holger Hermanns

Publication date: 3 February 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency I (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89287-8_3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Teachers' manuals and planning aids (aspects of mathematics education) (97U30)

Uses Software

• ML
• PEPA

Cites Work

• Lectures on concurrency and Petri nets. Advances in Petri nets.
• Modelling of Biochemical Reactions by Stochastic Automata Networks
• Reactive Systems
• Programmierung – eine Einführung in die Informatik mit Standard ML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item