Inheritance of behavior (Q5943265): Difference between revisions

@@ Property / Wikidata QID @@
+Q57006160
@@ Property / Wikidata QID: Q57006160 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance of workflows: An approach to tackling problems related to change
+Normal rank
@@ Property / cites work @@
+Q2760250
@@ Property / cites work: Q2760250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimilarity is an equivalence indeed!
@@ Property / cites work: Branching bisimilarity is an equivalence indeed! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230786
@@ Property / cites work: Q4230786 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761735
@@ Property / cites work: Q2761735 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance of behavior
@@ Property / cites work: Inheritance of behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement, conformance and inheritance
@@ Property / cites work: Refinement, conformance and inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Object-oriented methodologies and systems. International symposium, ISOOMS '94, Palermo, Italy, September 21--22, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858945
@@ Property / cites work: Q4858945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687554
@@ Property / cites work: Q5687554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508288
@@ Property / cites work: Q4508288 / rank @@
+Normal rank
@@ Property / cites work @@
+An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular
+Normal rank
@@ Property / cites work @@
+From Coloured Petri Nets to Object Petri Nets
@@ Property / cites work: From Coloured Petri Nets to Object Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A complete algebraic characterization of behavioral subtyping
+Normal rank
@@ Property / cites work @@
+On simulation, subtyping and substitutability in sequential object systems
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691098
@@ Property / cites work: Q5691098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Petri nets 1992
@@ Property / cites work: Advances in Petri nets 1992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ Property / cites work @@
+Q4028639
@@ Property / cites work: Q4028639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733394
@@ Property / cites work: Q4733394 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1567-8326(00)00004-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1991558265
@@ Property / OpenAlex ID: W1991558265 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BastenA01
@@ Property / DBLP publication ID: journals/jlp/BastenA01 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5943265