Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)15-27
Number of pages13
JournalComputer Software
Volume12
Issue number3
Publication statusPublished - 1995

Cite this

Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas. / Murakami, Masaki.

In: Computer Software, Vol. 12, No. 3, 1995, p. 15-27.

Research output: Contribution to journalArticle

@article{609b9320cff64333acb114dd14eb40ae,
title = "Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas",
author = "Masaki Murakami",
year = "1995",
language = "English",
volume = "12",
pages = "15--27",
journal = "Computer Software",
number = "3",

}

TY - JOUR

T1 - Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas

AU - Murakami, Masaki

PY - 1995

Y1 - 1995

M3 - Article

VL - 12

SP - 15

EP - 27

JO - Computer Software

JF - Computer Software

IS - 3

ER -