scientific article

zbMATH Open0586.68017MaRDI QIDQ3711737

A. Nait Abdallah

Publication date: 1985

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

zbMATH Keywords

convergencerecursive procedurecategory theorytype structureconcurrent processesprogram semanticsbundle theoryfixed-point equationscomplete partial orderprogramming language theorycomplete ordered magmaMetric bundlesRecursive procedure callsSagittal bundlesunified model theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Local variable scoping and Kleene algebra with tests

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