Boolean Algebra of Nets, their Synthesis and Analysis

• Authors:

• Ludwik Czaja

• Affiliations:

• (Correspd.) Institute of Informatics Warsaw University ul. Banacha 2, 02-097 Warsaw, Poland. lczaja@mimuw.edu.pl

• Venue:
• Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
• Year:
• 2008