Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory

Recent research findings demonstrate that process-oriented programming languages provide a suitable means to develop concurrent systems. In this paper, we propose to use mandatory/optional trace sets to model the semantics of a process-oriented programming language named Erasmus. Inspired by Hoare&#...

Full description

Bibliographic Details

Published in:	Procedia computer science Vol. 109; pp. 241 - 248
Main Authors:	Zhu, Ming, Grogono, Peter, Ormandjieva, Olga
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 2017
Subjects:	Category theory Erasmus Process-oriented programming Semantics Syntax Process-oriented programming Syntax Semantics Category theory Erasmus
ISSN:	1877-0509, 1877-0509
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!