Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Fcp (F.4.1...)  
 
Options:
 
  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
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy