ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Decidability of Bisimulation Equivalence for Pushdown Processes

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Decidability of Bisimulation Equivalence for Pushdown Processes
นักวิจัย : Stirling, Colin
คำค้น : Informatics
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2543
อ้างอิง : http://hdl.handle.net/1842/3393
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : Informatics Report Series , EDI-INF-RR-0005
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

We show that bisimulation equivalence is decidable for pushdown automata without epsilon-transitions.

บรรณานุกรม :
Stirling, Colin . (2543). Decidability of Bisimulation Equivalence for Pushdown Processes.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Stirling, Colin . 2543. "Decidability of Bisimulation Equivalence for Pushdown Processes".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Stirling, Colin . "Decidability of Bisimulation Equivalence for Pushdown Processes."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print.
Stirling, Colin . Decidability of Bisimulation Equivalence for Pushdown Processes. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.