Synthesis of the synchronization of general pipeline systems

The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth dealing with the possibilities of the specification of the synchronization of these systems. Different methods exist that can be used to synthe...

Full description

Bibliographic Details

Published in:	Acta cybernetica (Szeged) Vol. 17; no. 1; p. 123
Main Authors:	Ugron, Balázs, Hajdara, Szabolcs, Kozma, László
Format:	Journal Article
Language:	English
Published:	Szeged Laszlo Nyul 01.01.2005
Subjects:	Methods Pipelines Software engineering Specifications Synchronism Synthesis Temporal logic
ISSN:	0324-721X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!