zlstone2010的专栏

状态空间   state-spacemodel-checking deadlock freedom  Software Modeling and Verification     temporal logic   时序逻辑   时间逻辑 The temporal logic of reactive and concurrent systems

构成程序的基本成分包括 子程序、子例程、例程、协同例程、递归例程、模块和构件。 子程序：与子任务相应的处理对象和处理规则的描述。 子例程：subroutine  可由其他程序或子程序调用的子程序，子例程有两个方面：一是定义方面，成为子例程定义或子例程说明，另一个是调用方面，成为子例程调用，随着实现方式的不同，又可区分为开式子例程和闭式子例程，两者各有利弊。开式子例程时间节省

If we want to see the internals of some system and framework, we have to do some hacking and tracing. windows is a robust and representiative system,there are many utility tools we can use.the b