scientific article; zbMATH DE number 3958700

MaRDI QIDQ3727355zbMATH OpenFDO

Authors Lennart Beckman

Publication date 1986

zbMATH Keywords

CCSCommunicating Systemsconcurrent logic programmingConcurrent PrologGuarded Horn ClausesRelational Languagesemantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3958697
• Semantic models for concurrent logic languages
• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 1761892
• Conclog: a methodological approach to concurrent logic programming

Cited in

(25)

• Semantic models for concurrent logic languages
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Conclog: a methodological approach to concurrent logic programming
• Semantics of distributed definite clause programs
• ConGolog, a concurrent programming language based on the situation calculus
• Locally abstract, globally concrete semantics of concurrent programming languages
• On the concurrent computational content of intermediate logics
• A small-step semantics of a concurrent calculus with Goroutines and deferred functions
• PRELIMINARY RESULTS OF A MULTIAGENT TRAFFIC SIMULATION FOR BERLIN
• scientific article; zbMATH DE number 5347282 (Why is no real title available?)
• scientific article; zbMATH DE number 3951990 (Why is no real title available?)
• scientific article; zbMATH DE number 3958697 (Why is no real title available?)
• Direct semantics of concurrent languages in the SMoLCS approach
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 47204 (Why is no real title available?)
• scientific article; zbMATH DE number 1113818 (Why is no real title available?)
• scientific article; zbMATH DE number 1761892 (Why is no real title available?)
• Towards Context-Based Concurrent Formal Theories
• Towards the assessment of logics for concurrent actions
• The physical Church-Turing thesis and the principles of quantum theory
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• scientific article; zbMATH DE number 970730 (Why is no real title available?)
• A formal library of set relations and its application to synchronous languages
• Comparative semantics for flow of control in logic programming without logic
• Comparative metric semantics for concurrent PROLOG

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