Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for cc calculus
calculus
x
cc
x
2 search results found
Caal
⭐
34
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
Textbooks
⭐
25
📚 Openstax Textbooks ported to GitHub and hosted on GH Pages
Related Searches
C Cc (641)
Javascript Cc (548)
Python Cc (435)
Lambda Functions Calculus (377)
C Plus Plus Cc (359)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.