Travelled to:1 × Canada
Collaborated with:Toru Kato Manami Shimazu Hiroshi Ohyama O.Shirakawa H.Seki M.Fujii T.Kasami
Talks about:procedur (1) communic (1) calculus (1) multipl (1) freight (1) environ (1) develop (1) ambient (1) system (1) machin (1)
Person: Masahiro Higuchi
DBLP: Higuchi:Masahiro
Contributed to:
1992
2016Wrote 2 papers:
- CAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
- CASE-2016-KatoSHO #calculus #development #ide #modelling #multi
- Integrated development environment for the multiple ambient calculus for modeling freight systems (TK, MS, MH, HO), pp. 367–372.