Title: Workshop Concurrency, Specification, and Programming
Subjects: Electronic data processing, Congresses, Distributed processing, Petri nets, Computer software, Specifications, Intelligent agents (Computer software)