Symbolic Step Encodings for Object Based Communicating State Machines

Jori Dubrovin, Tommi Junttila, Keijo Heljanko

Research output: Working paper › Professional

10 Citations (Scopus)

Original language	English
Place of Publication	Espoo
Publication status	Published - 2007
MoE publication type	D4 Published development or research report or study

Name	Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports
No.	B24

Cite this

@techreport{45739723731543529ba3188d830e9a4a,

title = "Symbolic Step Encodings for Object Based Communicating State Machines",

author = "Jori Dubrovin and Tommi Junttila and Keijo Heljanko",

year = "2007",

language = "English",

series = "Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports",

number = "B24",

type = "WorkingPaper",

}

TY - UNPB

T1 - Symbolic Step Encodings for Object Based Communicating State Machines

AU - Dubrovin, Jori

AU - Junttila, Tommi

AU - Heljanko, Keijo

PY - 2007

Y1 - 2007

M3 - Working paper

T3 - Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports

BT - Symbolic Step Encodings for Object Based Communicating State Machines

CY - Espoo

ER -