fsm


Finite State Machine of concurrent system


I devise a new algorithm to use flow analysis technique to detect unreachability faults in concurrent systems. I need to find some finite state machine of large concurrent system (probably with hundreds of states) such as network protocols to do experiments. However, I can't find it on the web. Can anyone give me some clue?
I need state machines that the transitions between them should be synchronized.
Thanks in advance.
TCP states:
http://en.wikipedia.org/wiki/File:Tcp_state_diagram_fixed.svg
this is not big but good one.
Any non-trivial Erlang program. Erlang programs usually consist of hundreds of (potentially concurrent) processes exchanging messages.
I've heard the SIP state machine when used with Reliable Provisional Responses and ICE gets really large. But reconstructing a state diagram from those standards will be time consuming (SIP developers all over the world would be grateful for having such a diagram, if it was correct and complete).
Q.931 (the ISDN UNI protocol) has nice SDL state diagrams. It's only 25 states though.

Related Links

What is the DEF state in the Ragel (6.10) document illustrations
Converting a system model into transition system for model checking
Programming a bubblesort in NuSMV
about states of finite state machine
Controlling finite-state machines
What are steps for generating fsm code in C or C++ with NunniFsm?
Compile Finite State Machine to UML(-like) Diagram
JountJS - Creating FSM Dynamically through PHP
Large DFA examples?
implementation of an Moore Automaton in digital electronics
Finite State Machine of concurrent system
Syntax for Describing DFA or NFA
Combined states, FSM
How to Build finite state machine that show modulus 4 in binary
FSM data structure design

Categories

HOME
java
winforms
deployment
omnet++
tinymce
plone
android-4.4-kitkat
sqlite-net-extensions
jira
survey
medical
maude-system
adobe-analytics
telephony
tostring
google-static-maps
database-replication
ab-testing
flux
jprofiler
zapier
visjs
paging
errorlevel
zurb-foundation-6
php-openssl
h2db
wpfdatagrid
maxmind
ping
xacml
key-value-observing
galsim
karaf
gtrendsr
http-get
suricata
uft-api
document.write
azure-ml
broadcastreceiver
mapzen
core-plot
glew
keydown
reactive-cocoa-5
azure-application-gateway
chain-builder
dds
theming
lowpass-filter
nativeapplication
jxcore
csound
knockout-components
radtreelist
log4c
savon
asp.net-4.5
firebaseui
bluegiga
cloudbees
pervasive-sql
srand
maven-tomcat-plugin
cakephp-3.1
tableau-online
php-ci
interrupted-exception
sonarqube5.1.2
dereference
fscommand
dia
modalpopup
gwidgets
angularjs-ng-click
asp.net-web-api-odata
neolane
rdl
elliptic-curve
mechanize-ruby
undefined-reference
hyprlinkr
fmod
html5-notifications
commoncrypto
blending
smtp-auth
android-hardware
simba
cisco-jtapi
javaspaces
mercurial-server
yui-datatable
cxxtest
.nettiers
dbal
mirah
photoshop-cs4
zune
caching-application-block
ntvdm.exe

Resources

Database Users
RDBMS discuss
Database Dev&Adm
javascript
java
csharp
php
android
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App