نتائج البحث

Semantics and expressiveness of ordered SOS

Subjects: Computer and Information Sciences; Data- och informationsvetenskap; Article in journal

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

Subjects: Rapport; Report

• Source: Eindhoven : Technische Universiteit Eindhoven, Computer science reports, (2007), 37 pp.

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

Subjects: Computer and Information Sciences; Data- och informationsvetenskap; Report

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

Subjects: Rapport; Report

• Source: Eindhoven : Technische Universiteit Eindhoven, Computer science reports, (2007), 37 pp.

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

• Authors : Mousavi, M.R.; Phillips, I.C.C.; Reniers, M.A.

• Source: Mousavi , M R , Phillips , I C C , Reniers , M A & Ulidowski , I 2007 , Semantics and expressiveness of ordered SOS . Computer science

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

• Authors : Mousavi, M Mohammad Reza; Phillips, ICC; Reniers, MA Michel

• Source: ISSN:0890-5401.

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

• Authors : Mousavi, M.R.; Phillips, I.C.C.; Reniers, M.A.

• Source: Mousavi , M R , Phillips , I C C , Reniers , M A & Ulidowski , I 2009 , ' Semantics and expressiveness of ordered SOS ' , Information and

تفاصيل العنوان

Ordered SOS Process Languages for Branching and Eager Bisimulations

• Authors : Irek Ulidowski; Iain Phillips; The Pennsylvania State University CiteSeerX Archives

Subjects: bisimulation; eager bisimulation

• Source: http://www.mcs.le.ac.uk/~iulidowski/Publications/OSOS.ps.gz.

تفاصيل العنوان

Formats of ordered SOS rules with silent actions

• Authors : Ulidowski, Irek; Phillips, Iain

• Source: TAPSOFT '97: Theory and Practice of Software Development ; Lecture Notes in Computer Science ; page 297-308 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540627814 9783540685173

تفاصيل العنوان

Semantics and expressiveness of ordered SOS

• Authors : Mohammadreza Mousavi; Iain Phillips; Michel A. Reniers ...

• Source: http://alexandria.tue.nl/repository/books/627245.pdf.

تفاصيل العنوان