A Compact File Format for Labeled Transition Systems (2001)
by
I.A. van Langevelde
,
Izak Van Langevelde
| Citations: | 4 - 1 self |
BibTeX
@TECHREPORT{Langevelde01acompact,
author = {I.A. van Langevelde and Izak Van Langevelde},
title = {A Compact File Format for Labeled Transition Systems},
institution = {},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A compact open file format for labeled transition systems, which are commonly used in specification and verification of concurrent systems, is introduced. This combination of openness, both in specification and implementation, and compactness is unprecedented, since existing formats in this field are either not compact, yielding files too large to be easily handled, or proprietary, hampering the development of e#cient tools.
