csp for java (jcsp) 1_0-rc7 api specification.mht

来自「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,」· MHT 代码 · 共 1,530 行 · 第 1/5 页

MHT
1,530 行
字号
12345
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveDialog.html"=20
      target=3DclassFrame>ActiveDialog</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveDialog.Configure.html"=20
      target=3DclassFrame><I>ActiveDialog.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveFileDialog.html"=20
      target=3DclassFrame>ActiveFileDialog</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveFileDialog.Configure.html"=20
      target=3DclassFrame><I>ActiveFileDialog.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveFrame.html"=20
      target=3DclassFrame>ActiveFrame</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveFrame.Configure.html"=20
      target=3DclassFrame><I>ActiveFrame.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveLabel.html"=20
      target=3DclassFrame>ActiveLabel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveLabel.Configure.html"=20
      target=3DclassFrame><I>ActiveLabel.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveList.html"=20
      target=3DclassFrame>ActiveList</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveList.Configure.html"=20
      target=3DclassFrame><I>ActiveList.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveMenu.html"=20
      target=3DclassFrame>ActiveMenu</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveMenu.Configure.html"=20
      target=3DclassFrame><I>ActiveMenu.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveMenuItem.html"=20
      target=3DclassFrame>ActiveMenuItem</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveMenuItem.Configure.html"=20
      target=3DclassFrame><I>ActiveMenuItem.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActivePanel.html"=20
      target=3DclassFrame>ActivePanel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActivePanel.Configure.html"=20
      target=3DclassFrame><I>ActivePanel.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveScrollbar.html"=20
      target=3DclassFrame>ActiveScrollbar</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveScrollbar.Configure.html"=20
      target=3DclassFrame><I>ActiveScrollbar.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveScrollPane.html"=20
      target=3DclassFrame>ActiveScrollPane</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveScrollPane.Configure.html"=20
      target=3DclassFrame><I>ActiveScrollPane.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextArea.html"=20
      target=3DclassFrame>ActiveTextArea</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextArea.Configure.html"=20
      target=3DclassFrame><I>ActiveTextArea.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextEnterArea.html"=20
      target=3DclassFrame>ActiveTextEnterArea</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextEnterField.html"=20
      target=3DclassFrame>ActiveTextEnterField</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextField.html"=20
      target=3DclassFrame>ActiveTextField</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveTextField.Configure.html"=20
      target=3DclassFrame><I>ActiveTextField.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveWindow.html"=20
      target=3DclassFrame>ActiveWindow</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveWindow.Configure.html"=20
      target=3DclassFrame><I>ActiveWindow.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Alternative.html"=20
      target=3DclassFrame>Alternative</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AlternativeError.html"=20
      target=3DclassFrame>AlternativeError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingBarrier.html"=20
      target=3DclassFrame>AltingBarrier</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingBarrierError.html"=20
      target=3DclassFrame>AltingBarrierError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingChannel.html"=20
      target=3DclassFrame>AltingChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingChannelAccept.html"=20
      target=3DclassFrame>AltingChannelAccept</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingChannelInput.html"=20
      target=3DclassFrame>AltingChannelInput</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingChannelInputInt.html"=20
      target=3DclassFrame>AltingChannelInputInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/AltingChannelInt.html"=20
      target=3DclassFrame>AltingChannelInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/And.html"=20
      target=3DclassFrame>And</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/AndInt.html"=20
      target=3DclassFrame>AndInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2AnyCallChannel.html"=20
      target=3DclassFrame>Any2AnyCallChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2AnyChannel.html"=20
      target=3DclassFrame>Any2AnyChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2AnyChannelInt.html"=20
      target=3DclassFrame>Any2AnyChannelInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2OneCallChannel.html"=20
      target=3DclassFrame>Any2OneCallChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2OneChannel.html"=20
      target=3DclassFrame>Any2OneChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Any2OneChannelInt.html"=20
      target=3DclassFrame>Any2OneChannelInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Barrier.html"=20
      target=3DclassFrame>Barrier</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/BarrierError.html"=20
      target=3DclassFrame>BarrierError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/BlackHole.html"=20
      target=3DclassFrame>BlackHole</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/BlackHoleChannel.html"=20
      target=3DclassFrame>BlackHoleChannel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/BlackHoleChannelInt.html"=20
      target=3DclassFrame>BlackHoleChannelInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/BlackHoleInt.html"=20
      target=3DclassFrame>BlackHoleInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Bucket.html"=20
      target=3DclassFrame>Bucket</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/Buffer.html"=20
      target=3DclassFrame>Buffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/BufferInt.html"=20
      target=3DclassFrame>BufferInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/BufferIntSizeError.html"=20
      target=3DclassFrame>BufferIntSizeError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/BufferSizeError.html"=20
      target=3DclassFrame>BufferSizeError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Channel.html"=20
      target=3DclassFrame><I>Channel</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelAccept.html"=20
      target=3DclassFrame><I>ChannelAccept</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ChannelDataStore.html"=20
      target=3DclassFrame><I>ChannelDataStore</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/ChannelDataStoreInt.html"=20
      target=3DclassFrame><I>ChannelDataStoreInt</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelInput.html"=20
      target=3DclassFrame><I>ChannelInput</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelInputInt.html"=20
      target=3DclassFrame><I>ChannelInputInt</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelInt.html"=20
      target=3DclassFrame><I>ChannelInt</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelOutput.html"=20
      target=3DclassFrame><I>ChannelOutput</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ChannelOutputInt.html"=20
      target=3DclassFrame><I>ChannelOutputInt</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Crew.html"=20
      target=3DclassFrame>Crew</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/CSProcess.html"=20
      target=3DclassFrame><I>CSProcess</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/CSTimer.html"=20
      target=3DclassFrame>CSTimer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Delta.html"=20
      target=3DclassFrame>Delta</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Delta2.html"=20
      target=3DclassFrame>Delta2</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/Delta2Int.html"=20
      target=3DclassFrame>Delta2Int</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/DeltaInt.html"=20
      target=3DclassFrame>DeltaInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Demultiplex.html"=20
      target=3DclassFrame>Demultiplex</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/DemultiplexInt.html"=20
      target=3DclassFrame>DemultiplexInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Deparaplex.html"=20
      target=3DclassFrame>Deparaplex</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/DeparaplexInt.html"=20
      target=3DclassFrame>DeparaplexInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
12345

csp for java (jcsp) 1_0-rc7 api specification.mht - 源码说明

本页面展示了「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,有大量的范例,我们导师很看好的东西」中的 csp for java (jcsp) 1_0-rc7 api specification.mht 源码文件，采用 MHT 编程语言编写，共 1,530 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与进程代数相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?