Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Asynchronous SMV code for the ER-Golgi network model checking. The asynchronous SMV program consists of more than one module with or without parameters besides the main module. Each asynchronous process/event for a declared variable should be instantiated using the keyword "process". The variable declaration, initialization and update in each module still use the keywords "VAR", "init" and "next" respectively.
