Publication:3750159

zbMath0609.68081MaRDI QIDQ3750159

Georg Lausen

Publication date: 1986

zbMATH Keywords

functional specification; conceptual database design; conceptual structure nets; information flow net hierarchy; Transaction modelling

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68P20: Information storage and retrieval of data