Synthesis of Data Views for Communicating Processes

DOI10.1007/978-3-540-78769-3_13zbMATH Open1179.68026OpenAlexW1534108228MaRDI QIDQ5504601FDOQ5504601

Authors: Iman Poernomo 

Publication date: 22 January 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78769-3_13

Recommendations

• Process-centric views of data-driven business artifacts
• Process-centric views of data-driven business artifacts
• scientific article; zbMATH DE number 5263402

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Programming Languages and Systems
• Modal logics for communicating systems
• Adapting Proofs-as-Programs
• Title not available (Why is that?)

Cited In (7)

• Synergetic methods of data complexation
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Knowledge-based synthesis of distributed systems using event structures
• Principals in programming languages, a syntactic proof technique
• Logic for Programming, Artificial Intelligence, and Reasoning
• Proofs-as-imperative-programs: application to synthesis of contracts
• Adapting Proofs-as-Programs

This page was built for publication: Synthesis of Data Views for Communicating Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504601)