On the parameterized algebraic specification of concurrent systems

• Authors:

• E Astesiano;G F Mascari;G Reggio;M Wirsing

• Affiliations:

• -;-;-;-

• Venue:
• Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
• Year:
• 1985