Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: maven: org.javabip:org.javabip.engine.coordinator
View more package details: https://packages.ecosyste.ms/registries/repo1.maven.org/packages/org.javabip:org.javabip.engine.coordinator
Dependent Repos 4
sbliudze/javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.- 0.1.0-SNAPSHOT org.javabip.parent/pom.xml
Size: 2.81 MB - Last synced: 10 months ago - Pushed: about 1 year ago
TrinhLK/org.javabip.framework
JavaBIP framework all in one- org.javabip.engine.core/pom.xml
- org.javabip.engine.factory/pom.xml
- 0.1.0-SNAPSHOT org.javabip.framework.core/pom.xml
- 0.1.0-SNAPSHOT org.javabip.parent/pom.xml
Size: 1.13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
TrinhLK/RunnableJavaBIPExample
A runnable JavaBIP Example- 0.1.0-SNAPSHOT javabip-core/org.javabip.parent/pom.xml
- javabip-engine/org.javabip.engine.core/pom.xml
- javabip-engine/org.javabip.engine.factory/pom.xml
- 0.1.0-SNAPSHOT javabip-engine/org.javabip.engine.test/pom.xml
Size: 1.49 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
sbliudze/javabip-engine
- org.javabip.engine.core/pom.xml
- org.javabip.engine.factory/pom.xml
Size: 667 KB - Last synced: 10 months ago - Pushed: over 1 year ago
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software- 0.1.0-SNAPSHOT examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml
- 0.1.0-SNAPSHOT examples/publications/2023/JavaBIP/casinoBroken/pom.xml
Size: 538 MB - Last synced: 6 days ago - Pushed: 6 days ago
