scientific article; zbMATH DE number 3900171

MaRDI QIDQ3678684zbMATH OpenFDO

Authors Hideyo Mizuba, Jayantha Herath, Kenji Ueda, Nobuo Saito

Publication date 1985

zbMATH Keywords

Concurrent Prologlogic programmingPetri netspredicate/transition nets

Mathematics Subject Classification ID

Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• scientific article; zbMATH DE number 3922334
• Proof procedure and answer extraction in Petri net model of logic programs
• scientific article; zbMATH DE number 4035160
• scientific article; zbMATH DE number 3885321

Cited in

(1)

• A Prolog simulator for deterministic P systems with active membranes

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 Q3678684)