Abstract
This paper recycles an old idea, event decomposition in JSD, into a formal database specification language called LCM
Original language | English |
---|---|
Number of pages | 2 |
Publication status | Published - 1994 |
Event | Workshop on Formal Methods for Information System Dynamics 1994 - Utrecht, Netherlands Duration: 6 Jun 1994 → 7 Jun 1994 |
Workshop
Workshop | Workshop on Formal Methods for Information System Dynamics 1994 |
---|---|
Country/Territory | Netherlands |
City | Utrecht |
Period | 6/06/94 → 7/06/94 |