Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68365MaRDI QIDQ5493384FDOQ5493384

Authors: Chien-An Chen, Sara Kalvala, J. E. Sinclair 

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Recommendations

• Detecting Races in Ensembles of Message Sequence Charts
• Lectures on Concurrency and Petri Nets
• The theory of message sequence charts
• scientific article; zbMATH DE number 1307655
• A hierarchy of communication models for message sequence charts

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

• Title not available (Why is that?)
• Detecting Races in Ensembles of Message Sequence Charts
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493384)