Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE

In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy tempor...

Full description

Bibliographic Details

Published in:	The Journal of systems and software Vol. 33; no. 3; pp. 207 - 221
Main Authors:	Uchihira, Naoshi, Honiden, Shinichi
Format:	Journal Article
Language:	English
Published:	New York Elsevier Inc 01.06.1996 Elsevier Sequoia S.A
Subjects:	Computer programming Multitasking Parallel processing Studies Systems development Temporal logic
ISSN:	0164-1212, 1873-1228
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!