Search
for Topics
All Reviews
Browse All Reviews
>
Theory Of Computation (F)
>
Mathematical Logic And Formal Languages (F.4)
>
Mathematical Logic (F.4.1)
> Fcp (F.4.1...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-1 of 1 Reviews about "
Fcp (F.4.1...)
":
Date Reviewed
Using Flat Concurrent Prolog in System Modeling
Dotan Y., Arazi B. IEEE Transactions on Software Engineering 17(6): 493-512, 1991. Type: Article
The evolution of a system with parallel components can be described graphically in terms of a Petri net representation. This representation lends itself naturally to a logic program description. The aim of this paper is to develop the ...
Oct 1 1992
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy