scientific article; zbMATH DE number 1361135

MaRDI QIDQ4270072zbMATH OpenFDO

Authors José Meseguer, Carolyn Talcott

Publication date 20 December 1999

zbMATH Keywords

true concurrency model

Mathematics Subject Classification ID

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

Recommendations

• Conditional rewriting logic as a unified model of concurrency
• Partial ordering models for concurrency can be defined operationally
• scientific article; zbMATH DE number 4018369
• scientific article; zbMATH DE number 4090776

Cited in

(9)

• Partial ordering models for concurrency can be defined operationally
• Maude: specification and programming in rewriting logic
• Actor theories in rewriting logic
• A formal approach to object-oriented software engineering
• Rewriting logic: Roadmap and bibliography
• Twenty years of rewriting logic
• scientific article; zbMATH DE number 3903950 (Why is no real title available?)
• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
• A rewriting based model for probabilistic distributed object systems.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4270072)