scientific article; zbMATH DE number 1543048

zbMATH Open0960.68017MaRDI QIDQ4520501FDOQ4520501

Authors: Philipp W. Kutter, Alfonso Pierantonio 

Publication date: 26 February 2001

Full work available at URL: http://www.jucs.org/jucs_3_5/montages_specifications

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1630102
• scientific article; zbMATH DE number 1543051
• Generating an action notation environment from Montages descriptions
• Toward complete programming language descriptions that are both formal and understandable
• scientific article; zbMATH DE number 1670507

zbMATH Keywords

montages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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 Q4520501)