http:^^www.csc.ncsu.edu^faculty^rcleaveland^

来自「This data set contains WWW-pages collect」· EDU^FACULTY^RCLEAVELAND^ 代码 · 共 141 行

EDU^FACULTY^RCLEAVELAND^
141 行
字号 
Date: Mon, 25 Nov 1996 22:05:07 GMT
Server: NCSA/1.5.2
Last-modified: Tue, 05 Nov 1996 21:53:05 GMT
Content-type: text/html
Content-length: 2989

<html><title>Rance Cleaveland's Home Page</title><body bgcolor=white><hr><table><tr><td rowspan=1><!WA0><img src="http://www.csc.ncsu.edu/faculty/RCleaveland/me.gif"     alt="My Picture"     hspace=20pt></td><td valign=top><h1>Rance Cleaveland</h1><h3>Associate Professor</h3><!WA1><a href="http://www.csc.ncsu.edu">Department of Computer Science</a><br><!WA2><a href="http://www.ncsu.edu">North Carolina State University</a><br><!WA3><ahref="http://www1.nando.net/nao/go/cities/raleigh/raleigh.html">Raleigh</a>, <!WA4><a href="http://www1.nando.net/nao/go/nit/ncweb.html">NC</a> 27695-8206<br>USA<br><br>Tel.:  +1 (919) 515-7862<br>Fax:   +1 (919) 515-7896<br><!WA5><a href="mailto:rance@csc.ncsu.edu">E-mail:  rance@csc.ncsu.edu</a></td></tr></table><hr><table><tr><td><!WA6><img src="http://www.ncsu.edu/images/right.gif" alt="NOTE"></td><td>The <!WA7><a href="http://www.csc.ncsu.edu/eos/users/r/rance/WWW/cwb-nc.html"><strong>Concurrency Workbench of North Carolina</strong> (Version 1.0)</a> is ready for release!</td></tr><tr><td><!WA8><img src="http://www.ncsu.edu/images/right.gif" alt="NOTE"></td><td>Submission deadline for <!WA9><a href="http://www.csc.ncsu.edu/faculty/RCleaveland/aas97.html">Workshop on Automated Analysisof Software</a> (a POPL satellite workshop) has been extended to<blink><strong>Nov. 18</strong></blink>!</td></tr></table><hr><p><h3>Research</h3>My research interests fall in the area formal methods for desciption andanalysis of concurrent and distributed systems.  Specific area I work ininclude process algebra ... temporal logic ... analysis algorithms forfinite-state systems ... automatic verification tools ... semantic models ofsystem behavior ... operational semantics.<p><table><tr><td><!WA10><a href="http://www.csc.ncsu.edu/faculty/RCleaveland/pubs/"><strong>Publications</strong></a></td></tr><tr><td><!WA11><a href="http://www.csc.ncsu.edu/faculty/RCleaveland/students.html"><strong>My graduate students</strong></a></td></tr><tr><td><!WA12><a href="http://www.csc.ncsu.edu/faculty/RCleaveland/research-sites.html"><strong>Some interesting Web pages</strong></a></td></tr></table><hr><h3>Acquiring Software</h3><dl><dt> <!WA13><a href="http://www.csc.ncsu.edu/eos/users/r/rance/WWW/cwb-nc.html">TheConcurrency Workbench of North Carolina (Version 1.0)</a></dl><hr><p><h3>Teaching</h3>This semester I am teaching<!WA14><a href="file://www.csc.ncsu.edu/faculty/RCleaveland//afs/eos.ncsu.edu/info/csc333_info/www/index.html">CSC333---Automata, Grammars and Computability</a>.<p>In Spring of 1997, I will be teaching<!WA15><ahref="file://www.csc.ncsu.edu/faculty/RCleaveland//afs/eos.ncsu.edu/users/r/rance/teaching/691U/S97/syllabus/descr.html">CSC 691U---Principles of Concurrent Systems Design</a>.<hr><! -- Personal Information follows...you can include as much or as little      as you so desire...feel free to add extra stuph too... -- ><h3>Miscellaneous Stuff</h3><dl><dt><!WA16><a href="http://www.nando.net/nao/go/go.html">The Research Triangle</a> Area of North Carolina includes Raleigh, Durham andChapel Hill.</dl><hr>Last modified: November 5, 1996<address><!WA17><a href="http://www4.ncsu.edu/~rance/WWW/">Rance Cleaveland</a><br><!WA18><a href="mailto:rance@csc.ncsu.edu">rance@csc.ncsu.edu</a></address>

http:^^www.csc.ncsu.edu^faculty^rcleaveland^ - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.csc.ncsu.edu^faculty^rcleaveland^ 源码文件，采用 EDU^FACULTY^RCLEAVELAND^ 编程语言编写，共 141 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

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

⌨️ 快捷键说明

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