PNetsPapers

This repository is forked from lhenrio. This work focuses on open pNets, which is a composition of concurrent processes. I am working on pNets for model checking.

Name		Name	Last commit message	Last commit date
2016-Weak-FH-Bisim		2016-Weak-FH-Bisim
2017-Xudong-SMT		2017-Xudong-SMT
2018-Arch-pNets		2018-Arch-pNets
2018-ModelCheckingPNets		2018-ModelCheckingPNets
.gitignore		.gitignore
Log.txt		Log.txt
README.md		README.md
Todo.txt		Todo.txt

Navigation Menu

Repository files navigation

PNetsPapers

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

PNetsPapers

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages