Axiomatizing CCS, nets and processes

• Authors:

• Nicoletta De Francesco;Ugo Montanari;Daniel Yankelevich

• Affiliations:

• -;-;-

• Venue:
• Science of Computer Programming
• Year:
• 1993