Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414): Difference between revisions

Latest revision as of 09:50, 21 June 2024

scientific article

Language	Label	Description	Also known as
English	Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems	scientific article

Statements

instance of

scholarly article

0 references

title

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (English)

0 references

zbMATH Open document ID

0 references

0 references

0 references

0 references

Formal Aspects of Computing

0 references

publication date

1990

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

formal specification

0 references

formal verification

0 references

Petri nets

0 references

temporal logic

0 references

describes a project that uses

CESAR

0 references

ETPS

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4726218

0 references

Tableau methods of proof for modal logics

0 references

Q3774959

0 references

System modelling with high-level Petri nets

0 references

Q3883515

0 references

Q3802633

0 references

Q3694702

0 references

Specifying Concurrent Program Modules

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:916414

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774959
@@ Property / cites work: Q3774959 / rank @@
+Normal rank
@@ Property / cites work @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883515
@@ Property / cites work: Q3883515 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3802633
@@ Property / cites work: Q3802633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694702
@@ Property / cites work: Q3694702 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771634
@@ Property / cites work: Q3771634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank