scientific article; zbMATH DE number 2242583

zbMath1087.68547MaRDI QIDQ5714436

Kazunori Ueda

Publication date: 2 January 2006

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150095.htm

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

LMNtal as a hierarchical logic programming language ⋮ Constraint-Based Concurrency and Beyond ⋮ Encoding Distributed Process Calculi into LMNtal

Uses Software

• GHC

This page was built for publication: