scientific article

zbMath1276.68126MaRDI QIDQ2863871

Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600034X?np=y

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

zbMATH Keywords

verificationalgebraic specificationCafeOBJobservational transition systemproof scores

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• CafeOBJ

This page was built for publication: