README.md 1.39 KB
Newer Older
Sebastian Biewer's avatar
Sebastian Biewer committed
1
pseuCo to CCS Compiler
Sebastian Biewer's avatar
Sebastian Biewer committed
2
===============
Sebastian Biewer's avatar
Sebastian Biewer committed
3

4

Sebastian Biewer's avatar
Sebastian Biewer committed
5
6
Authors
-------
Sebastian Biewer's avatar
Sebastian Biewer committed
7
[Sebastian Biewer](https://depend.cs.uni-saarland.de/~biewer/)
Sebastian Biewer's avatar
Sebastian Biewer committed
8
9


10
License
Sebastian Biewer's avatar
Sebastian Biewer committed
11
-------
Sebastian Biewer's avatar
Sebastian Biewer committed
12
13
14
15
16
 
Copyright (c) 2013 - 2018  
[Saarland University](https://www.uni-saarland.de)  
[Dependable Systems and Software](https://depend.cs.uni-saarland.de)

Sebastian Biewer's avatar
Sebastian Biewer committed
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.


Abstract
--------
Sebastian Biewer's avatar
Sebastian Biewer committed
34
This repository contains a compiler for pseuCo that translates programs to CCS.
Sebastian Biewer's avatar
Sebastian Biewer committed
35

Sebastian Biewer's avatar
Sebastian Biewer committed
36
For more information see [pseuCo.com](https://pseuco.com).
Sebastian Biewer's avatar
Sebastian Biewer committed
37
38
39
40


Usage
-----
Sebastian Biewer's avatar
Sebastian Biewer committed
41
This code is a submodule of pseuCo.com and can only be tested within pseuCo.com. You can find the source code and information regarding  installation in [this repository](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web).
42
43


44

Sebastian Biewer's avatar
Sebastian Biewer committed
45
Credits
46
47
------
 * [CoffeeScript](http://coffeescript.org) A language that compiles into JavaScript