CS
in silico - Wikipediain silico（イン・シリコ）は、in vivo や in vitro などから派生して作られた用語で、「シリコン内で」というニュアンスであるが、実際の意味は「コンピュータを用いて」というものである。分子生物学などの実験や測定は通常、ウェッ…
Bisimulation - Wikipedia BisimulationIn theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other an…
Transition systems \not= finite automata there are no accept states set of states and actions may be countably infinite may have infinite branches actions may be subject to synchronization (concurrency)
http://www.google.co.jp/url?sa=t&source=web&ct=res&cd=2&url=http%3A%2F%2Fwww-i2.informatik.rwth-aachen.de%2FTeaching%2FCourse%2FPMC%2F2005%2Fpmc_lec1.pdf&ei=kbXISujQHYTq6gPl_dHwBA&usg=AFQjCNG1H8ss7A-Xogei2hgLSW6ctlaaKg&sig2=GvrtKwAJMrutnJT…
Abstract state machine - WikipediaAbstract state machinesFrom Wikipedia, the free encyclopediaIn computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the…
Set-theoretic specifications, which are also knows as "model-based specifications" or "model-oriented specifications" , model systems using sets which are either considered to be primitives sets or constructed by means of combinations of p…
from http://en.wikipedia.org/wiki/Larch_(disambiguation)The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the for…
Function call と Message Passing は異なるプロセス間通信概念・手法だと思えてきた。 OOP では、Function Call を用いる。CCSやCSPや、その実装であるPromela などでは、Message Passing を用いているとか？さらに言うと、Message Passing の方が、仕様記…
