Pages that link to "Item:Q1276245"

The following pages link to On transformations of concurrent-object programs (Q1276245):

Displaying 18 items.

• Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
• Finite-state concurrent programs can be expressed succinctly in triple normal form (Q522959) (← links)
• Hume box calculus: Robust system development through software transformation (Q656858) (← links)
• Automatic transformations of high-level object-oriented specifications into parallel programs (Q1121001) (← links)
• Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
• Partial confluence of processes and systems of objects (Q1274970) (← links)
• A transformation system for concurrent processes (Q1284702) (← links)
• A structural transformation from p-\(\pi\) to MSVL (Q2354315) (← links)
• Mobile objects as mobile processes (Q2497145) (← links)
• (Q4038659) (← links)
• Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
• A case study in transformational design of concurrent systems (Q5044728) (← links)
• From sequential programs to multi-tier applications by program transformation (Q5276148) (← links)
• Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)
• A process-calculus analysis of concurrent operations on B-trees (Q5943122) (← links)
• Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)
• On implementations and semantics of a concurrent programming language (Q6044131) (← links)
• On transformations of concurrent object programs (Q6104370) (← links)