Information Flow in Concurrent Logic Programming

References (13)

1. 1 Integrity Considerations for Secure Computer Systems
2. 2 Secure Computer Systems: Mathematical Foundations and Model
3. 3 A randomized dynamic program analysis technique for detecting real deadlocks [DOI]
4. 4 Effective static deadlock detection [DOI]
5. 5 Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends [DOI]
6. 6 The family of concurrent logic programming languages [DOI]
7. 7 A Virtual Machine Based Information Flow Control System for Policy Enforcement [DOI]
8. 8 PARLOG: parallel programming in logic [DOI]
9. 9 Logic Semantics for a Class of Committed-Choice Programs.
10. 10 Specialisation of Prolog and FCP programs using abstract interpretation [DOI]
11. 11 Guarded horn clauses: A parallel logic programming language with the concept of a guard
12. 12 Resource-Oriented Deadlock Analysis [DOI]
13. 13 Secure Computer System: Unified Exposition and Multics Interpretation [DOI]

Cited by 5

Related research

• The Principles of Four Basic Steps of Scientific Stage: Problem, Hypothesis, Trial, Report — shares topic coverage
• Environmental Management Practices of an Apparel Manufacturer in Sri Lanka: A Critique — shares topic coverage
• Ways to Help My Students to be Better Readers — shares topic coverage
• Performance of Varieties on the Yield and Quality of Onion (Allium cepa l.) through Set to Bulb Method — shares topic coverage
• Foreign Body Ingestion - A Case of a Tablespoon in the Oesophagus of a 48-Year-old Man — shares topic coverage