Commit d53301b0 authored by Sebastian Biewer's avatar Sebastian Biewer

Fixed Readme

parent c506c608
......@@ -4,9 +4,7 @@ pseuCo to CCS Compiler
Authors
-------
pseuCo Parser: [Sebastian Biewer](https://depend.cs.uni-saarland.de/~biewer/), Pascal Held
pseuCo to CCS Compiler: [Sebastian Biewer](https://depend.cs.uni-saarland.de/~biewer/)
[Sebastian Biewer](https://depend.cs.uni-saarland.de/~biewer/)
License
......@@ -33,7 +31,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>.
Abstract
--------
This repository contains a CCS interpreter and a compiler for pseuCo that translates programs to CCS.
This repository contains a compiler for pseuCo that translates programs to CCS.
For more information see [pseuCo.com](https://pseuco.com).
......@@ -43,12 +41,6 @@ Usage
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).
Repository
----------
The primary repository for this project is located at <https://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-compiler>.
The GitHub version will be updated less regularly.
Credits
------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment