Cinzia BERNARDESCHI


A Partial Order Semantics for FIFO-Nets
Cinzia BERNARDESCHI Nicoletta De FRANCESCO Gigliola VAGLINI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/08/25
Vol. E81-D  No. 8  pp. 773-782
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
true concurrencyFIFO-netspartial order semantics
 Summary | Full Text:PDF(888.9KB)

Using Process Algebras for the Semantic Analysis of Data Flow Networks
Cinzia BERNARDESCHI Andrea BONDAVALLI Luca SIMONCINI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8  pp. 959-968
Type of Manuscript:  PAPER
Category: Computer Systems
Keyword: 
computer systemssoftware theorydata flow networkssemanticsformal methodsspecification and verificationprocess algebras
 Summary | Full Text:PDF(910.6KB)