scientific article; zbMATH DE number 176757

MaRDI QIDQ4036587zbMATH OpenFDO

Authors Roland N. Bol, Jan Friso Groote

Publication date 18 May 1993

zbMATH Keywords

axiomatizationbisimulationoperational semanticsnegative premisesbasic process algebratransition system specificationstransition relation

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• The meaning of negative premises in transition system specifications
• The meaning of negative premises in transition system specifications. II
• scientific article; zbMATH DE number 2102773
• Transition system specifications with negative premises
• Modular semantics for transition system specifications with negative premises
• scientific article; zbMATH DE number 7449995
• Tree rules in probabilistic transition system specifications with negative and quantitative premises
• Sequent systems for negative modalities

Cited in

(10)

• The meaning of negative premises in transition system specifications. II
• scientific article; zbMATH DE number 2102773 (Why is no real title available?)
• GSOS and finite labelled transition systems
• Transition system specifications with negative premises
• Modular semantics for transition system specifications with negative premises
• scientific article; zbMATH DE number 7449995 (Why is no real title available?)
• Sequent calculi for default and autoepistemic logics
• scientific article; zbMATH DE number 1479628 (Why is no real title available?)
• Some undecidable properties of SOS specifications
• Priority and abstraction in process algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036587)