scientific article; zbMATH DE number 1361135

zbMath0939.68084MaRDI QIDQ4270072

José Meseguer, Carolyn L. Talcott

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

true concurrency model

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems ⋮ Maude: specification and programming in rewriting logic ⋮ Actor theories in rewriting logic ⋮ A formal approach to object-oriented software engineering

This page was built for publication: