BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
3 × USA
Collaborated with:
J.Jeffrey J.Yim V.P.Sliva S.M.Shatz T.Shimura J.Lobo
Talks about:
net (4) petri (3) method (2) protocol (1) communic (1) program (1) control (1) system (1) subset (1) semant (1)

Person: Tadao Murata

DBLP DBLP: Murata:Tadao

Contributed to:

SEKE 19961996
SEKE 19921992
SEKE 19901990
SEKE 19891989

Wrote 4 papers:

SEKE-1996-SlivaMS #communication #protocol
A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code
A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
SEKE-1990-JeffreyM #petri net #set
A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.
SEKE-1989-MurataY #petri net #realtime #rule-based
Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.