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

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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