Multiclients Server modelled in Promela

Brought to you by: drgranit

Last Update: 2013-04-22

Browse Code

A Promela model, modeling a server that accepts and communicates with multiple clients.
Additionally delay and jitter will be modeled.

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow Multiclients Server modelled in Promela

Multiclients Server modelled in Promela Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Multiclients Server modelled in Promela!

Additional Project Details

Registered

2010-03-16

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Hardware Random Number Generator
Hardware random number generator based on oscillator jitter
Knowledge Markup Language (KML)
KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.
nisprog
Nissan ECU reflashing software
BPMN extension for Cloud computing
java project for modifying jBPM models into cloud aware models
Sjitter
Another network performance tool... Sjitter is a command line client/server to measure jitter (based on RFC 1889), one way UDP delay and bandwidth.