scientific article; zbMATH DE number 1231615

MaRDI QIDQ4222938zbMATH OpenFDO

Authors Flemming Nielson, Hanne Riis Nielson

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10013

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1424026
• Formal foundations of operational semantics
• Logic Programming
• Concurrent separation logic and operational semantics
• scientific article; zbMATH DE number 3978355
• A rewriting logic approach to operational semantics
• Fundamental Approaches to Software Engineering
• Formalizing operational semantic specifications in logic
• Verification, Model Checking, and Abstract Interpretation

Cited in

(12)

• Information flow for Algol-like languages
• Mathematical theory of truth-valued flow inference
• A static analysis of cryptographic processes: the denotational approach
• Cryptographic analysis in cubic time
• Flow logic for process calculi
• Probabilistic semantics and program analysis
• An algebra of behavioural types
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 4001493 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Refined typing to localize the impact of forced strictness on free theorems
• Pathway analysis for BioAmbients

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