Specification and Development - CSP/JCSP

Brought to you by: enan

Last Update: 2013-04-17

Browse Code

euneto's project has a set of documents, like papers, specifications and implementations related to Formal Methods and Artificial Intelligence. The main objective is to share to comunity the ideas from this area.

Project Activity

See All Activity >

Follow Specification and Development - CSP/JCSP

Specification and Development - CSP/JCSP Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Specification and Development - CSP/JCSP!

Additional Project Details

Registered

2006-02-09

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

Subverse Project
Subverse Project is a system to agent interaction in a virtual world with objective of studies and learns of Artificial Intelligence algorithms. It is a set of parts to create a simulated environment of Artificial Inteligence and learning.
Community Z Tools
Tool support for the Z formal notation
ISO RELAX
This project is to define/share/maintain codes and documents related to ISO RELAX. In particular, interface definitions which are necessary for RELAX-related programs to interoperate, reference implementations, and concept implementations.
Awesome Explainable Graph Reasoning
A collection of research papers and software related to explainability
ai-edu
AI education materials for Chinese students, and teachers