Modal-&mgr;-Maude: specification and properties of concurrent objects

• Authors:

• Ulrike Lechner;Christian Lengauer

• Affiliations:

• -;-

• Venue:
• Object orientation with parallelism and persistence
• Year:
• 1996