Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16 - Softcover

Inhaltsangabe

ACP, die Algebra of Communicating Processes, ist ein algebraischer Ansatz zur Untersuchung gleichzeitiger Prozesse, der Anfang der achtziger Jahre von Jan Bergstra und Jan Will em Klop initiiert wurde. Diese Verfahren umfassen die Beiträge zu ACP94, dem ersten Workshop für AKP-Staaten. Der Werkshop fand vom 16. bis 17. Mai 1994 an der Universität Utrecht statt. Diese Verfahren sollen einen Überblick über die aktuelle Forschung auf dem Gebiet der AKP geben. Sie enthalten fünfzehn Beiträge. Das erste ist ein klassisches Papier über ACP von J.A. Bergstra und J.W. Die Algebra rekursiv definierter Prozesse und die Algebra regulärer Prozesse, Bericht IW 235/83, Mathematisches Zentrum, Amsterdam, 1983. Sie dient als Einführung in den übrigen Verfahren und sogar als allgemeine Einführung in die AKP-Staaten. Eine erweiterte Zusammenfassung dieses Papiers wird unter dem gleichen Titel im ICALP' 84 Verfahren veröffentlicht. Von den neuen Hauptbeiträgen wurden drei von den eingeladenen Referenten eingereicht, die anderen wurden vom Programmausschuss ausgewählt. Zu den Vorträgen wurden Jos Baeten, Rob van Glabbeek, Jan Friso Groote und Frits Vaandrager jeweils eingeladen, einen Vortrag zu halten. Ein Beitrag zum Vortrag von Frits Vaandrager wurde bereits an anderer Stelle veröffentlicht und ist daher nicht in diesen Pro ceedings enthalten. Gabriel Ciobanu, einer unserer Gäste, gab in einem zusätzlichen Vortrag einen Eindruck von seiner Arbeit. Darüber hinaus wurden zehn Vorträge auf Basis ausgewählter Papiere gehalten.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.