scientific article; zbMATH DE number 2080332

zbMATH Open1044.68763MaRDI QIDQ4473052FDOQ4473052

Authors: Markus Hannebauer 

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940510.htm

Title of this publication is not available (Why is that?)

Recommendations

• Concurrent search for distributed CSPs
• Modelling and verification of Distributed Algorithms
• scientific article; zbMATH DE number 2084769
• Constraint satisfaction in distributed concurrent logic programming
• Principles and Practice of Constraint Programming – CP 2004

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Implementations of the CSP Notation for Concurrent Systems
• Modelling and verification of Distributed Algorithms

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