scientific article; zbMATH DE number 176757

zbMATH Open0796.68142MaRDI QIDQ4036587FDOQ4036587

Authors: Roland N. Bol, Jan Friso Groote 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• Transition system specifications with negative premises
• GSOS and finite labelled transition systems
• Sequent calculi for default and autoepistemic logics
• Priority and abstraction in process algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• The meaning of negative premises in transition system specifications. II

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)