scientific article
From MaRDI portal
Publication:4036587
zbMath0796.68142MaRDI QIDQ4036587
Jan Friso Groote, Roland N. Bol
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticstransition system specificationsbisimulationaxiomatizationnegative premisesbasic process algebratransition relation
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items
GSOS and finite labelled transition systems, Priority and abstraction in process algebra, Sequent calculi for default and autoepistemic logics, Transition system specifications with negative premises
