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
twitter
vim
keras
zeromq
oracle11g
smarty
android-4.4-kitkat
kalman-filter
yarn
leon
microservices
baqend
ebean
serverspec
fancybox
indesign
upload
cross-validation
dacpac
correlation
phaser
orchardcms
event-handling
jsprit
dosgi
opentracing
oracle-coherence
scichart
amazonsellercentral
xlsxwriter
facebook-instant-articles
lcd
maquette
gitignore
fabric8
frame
openoffice.org
plsql-psp
dosbox
gesture
serverside-rendering
objectlistview
gzipstream
google-closure
android-mediaprojection
mime
unixodbc
scrollable
qsslsocket
celery-task
jlink
capacity
imanage
spring-cache
hittest
dwscript
jquery-filter
libpng
radtreelist
url-masking
thrust
ios4
energy
hsv
srand
xna-4.0
thredds
intellij-14
pundit
sframe
ideamart
arcanist
method-parameters
oberon
system.reflection
formatjs
facebook-graph-api-v2.4
rdtsc
document-classification
article
heisenbug
system.net.webexception
bundles
jboss-weld
ember-charts
geos
cdc
plasma
armcc
gcj
remember-me
radcombobox
jquery-ui-droppable
nintendo-ds
putchar
data-acquisition
multiple-languages
windows-live-messenger

Resources

Mobile Apps Dev
Database Users
javascript
java
csharp
php
android
MS Developer
developer works
python
ios
c
html
jquery
RDBMS discuss
Cloud Virtualization
Database Dev&Adm
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App