scientific article; zbMATH DE number 1231536
From MaRDI portal
Publication:4222852
zbMath0912.68093MaRDI QIDQ4222852
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#viry
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Executable structural operational semantics in Maude, Unnamed Item, Rewriting logic as a semantic framework for concurrency: a progress report, Session-based concurrency in Maude: executable semantics and type checking, Unnamed Item, Unnamed Item
Uses Software